Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …

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

Choreographic programming is an emerging paradigm for programming distributed systems.
In choreographic programming, the programmer describes the behavior of the entire system …

This paper demonstrates the impact of integrating session types and object-oriented
programming, through their implementation in Java. Session types provide high-level …

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 …

A session takes place between two parties; after establishing a connection, each party
interleaves local computations with communications (sending or receiving) with the other …

We propose a new ty** system for the π-calculus with sessions, which ensures the
progress property, ie once a session has been initiated, typable processes will never starve …

During the past several years, multi-layer network community detection has drawn an
increasing amount of attention and many approaches have been developed from different …

We present the design and implementation of a compiler that, given high-level multiparty
session descriptions, generates custom cryptographic protocols. Our sessions specify pre …

This paper investigates a new form of delegation for multiparty session calculi. Usually,
delegation allows a session participant to appoint a participant in another session to act on …