Affiliation:
1. Queen Mary University of London, United Kingdom
2. Imperial College London, United Kingdom
3. IT University of Copenhagen, Copenhagen, Denmark
Abstract
Communication is a central elements in software development. As a potential typed foundation for structured communication-centered programming, session types have been studied over the past decade for a wide range of process calculi and programming languages, focusing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centered applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain the friendly type syntax of binary session types while specifying dependencies and capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers and is used as a basis of efficient type-checking through its projection onto individual peers. The fundamental properties of the session type discipline, such as communication safety, progress, and session fidelity, are established for general n-party asynchronous interactions.
Funder
EPSRC
the European Union
European Cooperation in Science and Technology
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference136 articles.
1. AMQP. 2015. Advanced Message Queuing Protocol. http://www.iona.com/opensource/amqp/. AMQP. 2015. Advanced Message Queuing Protocol. http://www.iona.com/opensource/amqp/.
2. A Type System for Client Progress in a Service-Oriented Calculus
3. Apims 2014. Apims. (2014). http://thelas.dk/index.php?title=Apims. Apims 2014. Apims. (2014). http://thelas.dk/index.php?title=Apims.
4. Deciding choreography realizability
5. Synchronous Multiparty Session Types
Cited by
354 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献