Possibly Related Publications

The following publications are possibly variants of this publication:

• Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. darts, 8(2), 2022. [doi]
• Multiparty Session Programming With Global Protocol CombinatorsKeigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. ECOOP 2020: [doi]
• Fearless Asynchronous Communications with Timed Multiparty Session ProtocolsPing Hou, Nicolas Lagaillardie, Nobuko Yoshida. ECOOP 2024: [doi]
• Dynamically Updatable Multiparty Session Protocols (Artifact)David Castro-Perez, Nobuko Yoshida. darts, 9(2), 2023. [doi]
• CAMP: cost-aware multiparty session protocolsDavid Castro-Perez, Nobuko Yoshida. PACMPL, 4(OOPSLA), 2020. [doi]
• Multiparty Session Programming with Global Protocol Combinators (Artifact)Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. darts, 6(2), 2020. [doi]
• Protocol Conformance of Collaborative SPARQL Using Multiparty Session TypesAri Hernawan, Nobuko Yoshida. tase 2024: 1-18 [doi]
• Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint ProjectionLorenzo Gheri, Nobuko Yoshida. PACMPL, 7(OOPSLA1):112-142, April 2023. [doi]