| Global Progress in Dynamically Merged Multiparty Sessions (2009) | |||||||||||||
Abstract | |||||||||||||
| Abstract. A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communication type system, a novel static interaction type system for global progress in dynamically merged and interfered multiparty sessions. 1 | |||||||||||||
Details der Publikation | |||||||||||||
| |||||||||||||