تقرير
Event structure semantics for multiparty sessions
العنوان: | Event structure semantics for multiparty sessions |
---|---|
المؤلفون: | Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola |
سنة النشر: | 2022 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2 |
الوصف: | We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of global types as "prime event structures". Comment: arXiv admin note: text overlap with arXiv:2102.00865 |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2201.00221 |
رقم الأكسشن: | edsarx.2201.00221 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |