Hybrid multiparty session types: compositionality for protocol specification through endpoint projection by Gheri, L, Yoshida, N

“…Multiparty session types (MPST) are a specification and verification framework for distributed message-passing systems. The communication protocol of the system is specified as a global type, from which a collection of local types (local process implementations) is obtained by endpoint projection. …”

Programming language implementations with multiparty session types by Yoshida, N

“…The theory of MPST guarantees that processes following a predefined communication protocol (a multiparty session) are free from communication errors and deadlocks. …”

Communication-safe web programming in TypeScript with routed multiparty session types by Miu, A, Ferreira, F, Yoshida, N, Zhou, F

“…STScript provides developers with TypeScript APIs generated from a communication protocol specification based on RouST. The generated APIs build upon TypeScript concurrency practices, complement the event-driven style of programming in full-stack web development, and are compatible with the Node.js runtime for server-side endpoints and the React.js framework for browser-side endpoints. …”

Precise subtyping for asynchronous multiparty sessions by Ghilezan, S, Pantović, J, Prokić, I, Scalas, A, Yoshida, N

“…Session subtyping is a cornerstone of refinement of communicating processes: a process implementing a session type (i.e., a communication protocol) 𝑇 can be safely used whenever a process implementing one of its supertypes 𝑇 ′ is expected, in any context, without introducing deadlocks nor other communication errors. …”