Multiparty asynchronous session types

By Kohei Honda, Nobuko Yoshida, Marco Carbone. ACM-SIGACT Symposium on Principles of Programming Languages, 2008

1,000 citations recorded by the source corpus.

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing 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-centred 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 a friendly type syntax of binary session types while 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 generaln-party asynchronous interactions.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/d3ed9217e3ca2daded226da1efccdb037306e785

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Philip Wadler
  2. Nicola Dragoni

In Computational Theory and Mathematics

  1. Alberto Lluch-Lafuente
  2. Manuel Mazzara
  3. Ruslan Mustafin
  4. Larisa Safina
  5. Philip Wadler
  6. Fabrizio Montesi
  7. Saverio Giallorenzo
  8. Nicola Dragoni

Citations in the corpus