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

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

In concurrent and distributed systems, processes can complete tasks together by playing
their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal …

We investigate how different fairness assumptions affect results concerning lock-freedom, a
typical liveness property targeted by session type systems. We fix a minimal session …

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

Software components are expected to communicate according to predetermined protocols
and APIs. Numerous methods have been proposed to check the correctness of …

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 …

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 …

Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free
communication of concurrent and message-passing programs. Traditional MP have a limited …

Rust is a popular systems language focused on performance and reliability, with an
emphasis on providing “fearless concurrency”. Message passing has become a widely-used …