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 multiparty session forms a unit of structured interactions among many participants which
follow a prescribed scenario specified as a global type signature. This paper develops …

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 …

In this paper we discuss our ongoing endeavour to apply notations and algorithms based on
the π-calculus and its theories for the development of large-scale distributed systems. The …

We study two refinements of the linear π-calculus that ensure deadlock freedom (the
absence of stable states with pending linear communications) and lock freedom (the …

We generalise a theory of multiparty session types for the π-calculus through asynchronous
communication subty**, which allows partial commutativity of actions with maximal …

This article provides a gentle introduction to multiparty session types, a class of behavioural
types specifically targeted at describing protocols in distributed systems based on …

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 …