| Global Progress in Dynamically Interleaved Multiparty Sessions (2008) | |||||||||||||||||
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 interleaved multiparty sessions. 1 | |||||||||||||||||
Details der Publikation | |||||||||||||||||
| |||||||||||||||||