Developments in concurrent Kleene algebra

این قوانین توسط یک سلسله مراتب از مدل ها پشتیبانی می شود، قابل اجرا و سازگار با طیف وسیعی از اهداف مختلف و به طیف وسیعی از زبان های برنامه نویسی مختلف. جبر در سه سطح ارائه شده است. سطر پایینی ردیابی اجرای برنامه را نشان می دهد، به عنوان مجموعه ای از رویدادهایی که در یک برنامه خاص از یک برنامه رخ داده است، تعریف می شود. سطح متوسط ​​یک برنامه را مجموعه ای از آثار احتمالی رفتارهای احتمالی آن می داند. ردیف بالا، اپراتورهای غیرمستقیم اضافی را معرفی می کند که برای توصیف خواص مطلوب یا ناخواسته رفتار برنامه کامپیوتری مفید است. بخش های نهایی بخش های اصلی را که در آن تحقیقات بیشتر مورد نیاز است.