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 …

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

Communicating finite state machines (CFSMs) represent processes which communicate by
asynchronous exchanges of messages via FIFO channels. Their major impact has been in …

A multiparty session forms a unit of structured communication among many participants
which follow communication sequences specified as a global type. When a process is …

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

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 …

This paper presents a new efficient programming toolchain for message-passing parallel
algorithms which can fully ensure, for any typable programs and for any execution path …

Static typechecking is an important feature of many standard programming languages.
However, static ty** focuses on data rather than communication, and therefore does not …

In prior work we proposed an interpretation of intuitionistic linear logic propositions as
session types for concurrent processes. The type system obtained from the interpretation …