Filters








1 Hit in 7.3 sec

Generalising Projection in Asynchronous Multiparty Session Types [article]

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2022 arXiv   pre-print
Whenever a global type can be projected on to each role, the composition of the projections is deadlock free and has exactly the behaviours specified by the global type.  ...  In the theory of MSTs, a global type specifies the interaction among the roles at the global level.  ...  35:18 Generalising Projection in Asynchronous Multiparty Session Types ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, volume 11423 of Lecture Notes in Computer Science, pages 583-610  ... 
arXiv:2107.03984v3 fatcat:dcxpflxdwnewffkbz5ftmdhkru