We illustrate the concepts of sessions and session types as they have been developed in
the setting of the π-calculus. Motivated by the goal of obtaining a formalisation closer to …

Abstract Design by Contract (DbC) promotes reliable software development through
elaboration of type signatures for sequential programs with logical predicates. This paper …

Multiparty session types enforce structured safe communications between several
participants, as long as their number is fixed when the session starts. In order to handle …

Global types are formal specifications that describe communication protocols in terms of
their global interactions. We present a new, streamlined language of global types equipped …

This article relates two different paradigms of descriptions of communication behavior, one
focusing on global message flows and another on end-point behaviors, using formal calculi …

For many application-level distributed protocols and parallel algorithms, the set of
participants, the number of messages or the interaction structure are only known at run-time …

We introduce CLASS, a session-typed, higher-order, core language that supports concurrent
computation with shared linear state. We believe that CLASS is the first proposal for a …

We present a streamlined theory of session types based on a simple yet general and
expressive formalism whose main eatures are semantically characterized and where each …

Event-driven programming is a major paradigm in concurrent and communication-based
programming, and a widely adopted approach to building scalable high-concurrency …

For many application-level distributed protocols and parallel algorithms, the set of
participants, the number of messages or the interaction structure are only known at run-time …