- Record: found
- Abstract: not found
- Book Chapter: not found
Programming Languages and Systems
Multiparty Session Types Meet Communicating Automata
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references13
- Record: found
- Abstract: not found
- Book Chapter: not found
Language primitives and type discipline for structured communication-based programming
Kohei Honda, Vasco Vasconcelos, Makoto Kubo (1998)
- Record: found
- Abstract: not found
- Book Chapter: not found
Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo Bettini, Mario Coppo, Loris D’Antoni … (2008)
- Record: found
- Abstract: not found
- Article: not found
Multiparty asynchronous session types
Marco Carbone, Nobuko Yoshida, Kohei Honda (2008)