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 …

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 …

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 …

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

This paper proposes a new hybrid session verification methodology for applying session
types directly to mainstream languages, based on generating protocol-specific endpoint …

Designing, developing and maintaining concurrent applications is an error-prone and time-
consuming task; most difficulties arise because compilers are usually unable to check …

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 …

Abstract Multiparty Session Types (MPST) is a typing discipline for message-passing
distributed processes that can ensure properties such as absence of communication errors …