A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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