Communicating systems comprise diverse software components across networks. To ensure
their robustness, modern programming languages such as Rust provide both strongly typed …

Construction and analysis of distributed systems is difficult. Multiparty session types (MPST)
constitute a method to make it easier. The idea is to use type checking to statically prove …

Rust is a modern systems language focused on performance and reliability. Complementing
Rust's promise to provide" fearless concurrency", developers frequently exploit …

Multiparty session types (MPST) provide a typing discipline for message passing
concurrency, ensuring deadlock freedom for distributed processes. This paper first …

Session types enable the specification and verification of communicating systems. However,
their theory often assumes that processes never fail. To address this limitation, we present a …

Choreographic models support a correctness-by-construction principle in distributed
programming. Also, they enable the automatic generation of correct message-based …

Session types provide a typing discipline for message-passing systems. However, most
session type approaches assume an ideal world: one in which everything is reliable and …

Theories and tools based on multiparty session types offer correctness guarantees for
concurrent programs that communicate using message-passing. These guarantees usually …

The asynchronous and unidirectional communication model supported by mailboxes is a
key reason for the success of actor languages like Erlang and Elixir for implementing …

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 …