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

Session types statically guarantee that communication complies with a protocol. However,
most accounts of session typing do not account for failure, which means they are of limited …

This paper presents a framework for the static specification and safe programming of
message passing protocols where the number and kinds of participants are dynamically …

Abstract Multiparty Session Types (MPST) is a typing discipline for message-passing
distributed processes that can ensure properties such as absence of communication errors …

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 …

In a reversible language, any forward computation can be undone by a finite sequence of
backward steps. Reversible computing has been studied in the context of different …

This paper proposes a sound procedure to verify properties of communicating session
automata (csa), ie, communicating automata that include multiparty session types. We …

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

This paper presents a formulation of multiparty session types (MPSTs) for practical fault-
tolerant distributed programming. We tackle the challenges faced by session types in the …

Runtime Verification is a lightweight technique that complements other verification methods
in an effort to ensure software correctness. The technique poses novel questions to software …