Fair termination of multiparty sessions

There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants. These sessions fall outside the scope of currently available session type systems that guarantee progress. In this wor...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 139; S. 100964
Hauptverfasser:	Ciccone, Luca, Dagnino, Francesco, Padovani, Luca
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.06.2024
Schlagworte:	Deadlock freedom Fair subtyping Fair termination Multiparty sessions Deadlock freedom Multiparty sessions Fair subtyping Fair termination
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!