Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …

Communication is a central elements in software development. As a potential typed
foundation for structured communication-centered programming, session types have been …

Multiparty Session Types (MPST) are a ty** discipline ensuring that a message-passing
process implements a multiparty session protocol, without errors. In this paper, we propose a …

A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

Behavioural contracts are formal specifications of interaction protocols between two or more
distributed services. Despite the heterogeneous nature of the formalisms for behavioural …

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

This paper proposes a new hybrid session verification methodology for applying session
types directly to mainstream languages, based on generating protocol-specific endpoint …

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 …

The Go programming language has been heavily adopted in industry as a language that
efficiently combines systems programming with concurrency. Go's concurrency primitives …

This work extends asynchronous multiparty session types (MPST) with explicit connection
actions to support protocols with optional and dynamic participants. The actions by which …