Multiparty session types (MSTs) are a type-based approach to verifying communication
protocols. Central to MSTs is a projection operator: a partial function that maps protocols …

Multiparty session types (MSTs) provide efficient means to specify and verify asynchronous
message-passing systems. For a global type, which specifies all interactions between roles …

Formal verification methods for concurrent systems cannot always be scaled-down or
tailored in order to be applied on specific subsystems. We address such an issue in a …

Asynchronous Sessions with Input Races Page 1 M. Carbone and R. Neykova (Eds.): 13th
International Workshop on Programming Language Approaches to Concurrency and …

We propose an interpretation of multiparty sessions with asynchronous communication as
Flow Event Structures. We introduce a new notion of asynchronous type for such sessions …

Choreographic programming is a paradigm where programmers write global descriptions of
distributed protocols, called choreographies, and correct implementations are automatically …

Choreographies provide a clear way to specify the intended communication behaviour of
concurrent and distributed systems. Previous theoretical work investigated the translation of …

A multiparty session formalises a set of concurrent communicating participants. We propose
a type system for multiparty sessions where some communications between participants can …

Multiparty sessions are a foundational model for distributed entities interacting through
message passing. Communication is disciplined by global types, which ensures lock …

A multiparty session formalises a set of concurrent interacting participants. By considering
that (a) asynchronous communication models are widely adopted in real-life applications …