ما هي lamport-distributed-systems؟
صمم الأنظمة الموزعة باستخدام نهج ليزلي لامبورت الصارم. يؤكد على التفكير الرسمي، والوقت المنطقي، وبروتوكولات الإجماع، وتكرار آلة الحالة. يُستخدم عند إنشاء الأنظمة التي تكون فيها الصحة في ظل التزامن والفشل الجزئي أمرًا بالغ الأهمية. المصدر: copyleftdev/sk1llz.