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

Session types have recently been integrated with functional languages, bringing message-
passing concurrency to functional programming. Channel endpoints then become first-class …

We introduce the notion of a connectivity graph—an abstract representation of the topology
of concurrently interacting entities, which allows us to encapsulate generic principles of …

Shared session types generalize the Curry-Howard correspondence between intuitionistic
linear logic and the session-typed π-calculus with adjoint modalities that mediate between …

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

Message passing is a useful abstraction to implement concurrent programs. For real-world
systems, however, it is often combined with other programming and concurrency paradigms …

Session types provide a typing discipline for structured communication on bidirectional
channels. Context-free session types overcome the restriction to tail recursive protocols …

The π π-calculus, viewed as a core concurrent programming language, has been used as
the target of much research on type systems for concurrency. In this paper we propose a …

Session types employ a linear type system that ensures that communication channels
cannot be implicitly copied or discarded. As a result, many mechanizations of these systems …

Concurrent and distributed programming is notoriously hard. Modern languages and toolkits
ease this difficulty by offering message-passing abstractions, such as actors (eg, Erlang …