تقرير
Asynchronous Sessions with Input Races
| العنوان: | Asynchronous Sessions with Input Races |
|---|---|
| المؤلفون: | Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola |
| المصدر: | EPTCS 356, 2022, pp. 12-23 |
| سنة النشر: | 2022 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science, F.1.1, F.3.2 |
| الوصف: | We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom. Comment: In Proceedings PLACES 2022, arXiv:2203.12142 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.356.2 |
| URL الوصول: | http://arxiv.org/abs/2203.12876 |
| رقم الأكسشن: | edsarx.2203.12876 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.356.2 |
|---|