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...

Celý popis

Podrobná bibliografia

Vydané v:	Journal of logical and algebraic methods in programming Ročník 139; s. 100964
Hlavní autori:	Ciccone, Luca, Dagnino, Francesco, Padovani, Luca
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.06.2024
Predmet:	Deadlock freedom Fair subtyping Fair termination Multiparty sessions Deadlock freedom Multiparty sessions Fair subtyping Fair termination
ISSN:	2352-2208
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!