Possibly Related Publications

The following publications are possibly variants of this publication:

• Monitoring Networks through Multiparty Session TypesLaura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida. forte 2013: 50-65 [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]
• Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint ProjectionLorenzo Gheri, Nobuko Yoshida. PACMPL, 7(OOPSLA1):112-142, April 2023. [doi]
• Multiparty session types, beyond dualityAlceste Scalas, Nobuko Yoshida. jlp, 97:55-84, 2018. [doi]