التحقق من الأنظمة متعددة الوكلاء
إثبات الإنهاء
إثبات شكلي بأن نظام الوكلاء المتعددين يصل بالضرورة إلى حالة نهائية في وقت محدود. ضرورية للأنظمة الحساسة حيث يجب ضمان عدم وجود حلقات لا نهائية.
← رجوع