أنظمة موزعة, استبعاد متبادل, خوارزميات, علم الحاسوبخوارزمية ريكارت-أجراوالا (Ricart–Agrawala Algorithm)
إشباع القيود, الذكاء الاصطناعي, حل المشكلات, خوارزميات البحثالبحث المحلي (إشباع القيود) (Local Search (Constraint Satisfaction))