جلسات متعددة الأطراف غير متزامنة مع اختيار مختلط

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