Publications

BibTex format

@article{Honda:2016:10.1145/2827695,
author = {Honda, K and Yoshida, N and Carbone, M},
doi = {10.1145/2827695},
journal = {Journal of the ACM},
title = {Multiparty asynchronous session types},
url = {http://dx.doi.org/10.1145/2827695},
volume = {63},
year = {2016}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Communication is becoming one of the central elements in software development. As a potential typed foundationfor structured communication-centred programming, session types have been studied over the lastdecade 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 formobile processes, the theory introduces a new notion of types in which interactions involving multiple peersare directly abstracted as a global scenario. Global types retain the friendly type syntax of binary sessiontypes 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 abasis of efficient type checking through its projection onto individual peers. The fundamental properties ofthe session type discipline such as communication safety, progress and session fidelity are established forgeneral n-party asynchronous interactions.
AU  - Honda,K
AU  - Yoshida,N
AU  - Carbone,M
DO  - 10.1145/2827695
PY  - 2016///
SN  - 0004-5411
TI  - Multiparty asynchronous session types
T2  - Journal of the ACM
UR  - http://dx.doi.org/10.1145/2827695
UR  - http://hdl.handle.net/10044/1/26368
VL  - 63
ER  -

Download

ProfessorNobukoYoshida

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)