Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying
message passing software systems. In the theory of MSTs, a global type specifies the …

We present a programming model and typing discipline for complex multi-robot coordination
programming. Our model encompasses both synchronisation through message passing and …

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance
practically in any application. This paper compares two recently proposed approaches to …

Multiparty session types (MSTs) provide efficient means to specify and verify asynchronous
message-passing systems. For a global type, which specifies all interactions between roles …

This paper presents CAMP, a new static performance analysis framework for message-
passing concurrent and distributed systems, based on the theory of multiparty session types …

We develop a session types based framework for implementing and validating rate-based
message passing systems in Internet of Things (IoT) domains. To model the indefinite …

Choreographic models express coordination between business roles, in contrast to standard
process models that merge local control flow and communication between parties. A …

Mixed-choice has long been barred from models of asynchronous communication since it
compromises key properties of communicating finite-state machines. Session types inherit …

This paper fosters the analysis of performance properties of collective adaptive systems
(CAS) since such properties are of paramount relevance practically in any application. We …

Session types using affinity and exception handling mechanisms have been developed to
ensure the communication safety of protocols implemented in concurrent and distributed …