Multiparty Session Types Meet Communicating Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Pierre-Malo Deniélou, Nobuko Yoshida. Multiparty Session Types Meet Communicating Automata. In Helmut Seidl, editor, Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Volume 7211 of Lecture Notes in Computer Science, pages 194-213, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session TypesPierre-Malo Deniélou, Nobuko Yoshida. icalp 2013: 174-186 [doi]

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session TypesNobuko Yoshida, Fangyi Zhou 0002, Francisco Ferreira 0001. fct 2021: 18-35 [doi]

Parameterised Multiparty Session TypesNobuko Yoshida, Pierre-Malo DeniÃ©lou, Andi Bejleri, Raymond Hu. fossacs 2010: 128-145 [doi]

Multiparty asynchronous session typesKohei Honda, Nobuko Yoshida, Marco Carbone. POPL 2008: 273-284 [doi]

Multiparty Asynchronous Session TypesKohei Honda, Nobuko Yoshida, Marco Carbone. JACM, 63(1):9, 2016. [doi]

Synchronous Multiparty Session TypesAndi Bejleri, Nobuko Yoshida. ENTCS, 241:3-33, 2009. [doi]

Timed Multiparty Session TypesLaura Bocchi, Weizhen Yang, Nobuko Yoshida. concur 2014: 419-434 [doi]

runs on WebDSL