ندرس التزامن وإعادة التنفيذ وسلوك البروتوكول ومعالجة الأعطال بين الأجهزة. يستند العمل إلى نموذج التنسيق والخصائص المطلوب التحقق منها، من دون افتراض ضمانات تتجاوز التصميم المتفق عليه.