Paper Info
Title
Composition and decomposition of multiparty sessions
Abstract
Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty sessions enjoy lock-freedom.
Year
DOI
Venue
2021
10.1016/j.jlamp.2020.100620
Journal of Logical and Algebraic Methods in Programming
DocType
Volume
ISSN
Journal
119
2352-2208
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Franco Barbanera135735.14
Mariangiola Dezani-Ciancaglini21615193.57
Ivan Lanese373353.86
Emilio Tuosto449942.62