Share This Author
Multiparty Asynchronous Session Types
The theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario, and the fundamental properties of the session type discipline, such as communication safety, progress, and session fidelity, are established.
Structured Communication-Centered Programming for Web Services
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 based on session types, to explore a theory of end- Point projection, by which a global description is mapped to its end- point counterparts preserving types and dynamics.
Session-Based Distributed Programming in Java
This paper presents the first full implementation of a language and runtime for session-based distributed programming featuring asynchronous message passing, delegation, and session subtyping and interleaving, combined with class downloading and failure handling in Java.
Multiparty Session Types Meet Communicating Automata
A generalised variant of multiparty session types that have a direct semantical correspondence to CFSMs is presented, generalising Gouda et al's work  (for two machines) to an arbitrary number of machines.
On Reduction-Based Process Semantics
Dynamic multirole session types
A role-based multiparty session type theory is proposed where roles are defined as classes of local behaviours that an arbitrary number of participants can dynamically join and leave, and a type system with universal types for polling can handle this dynamism and retain type safety.
Multiparty asynchronous session types
This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications, and introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario.
Global progress for dynamically interleaved multiparty sessions
- M. Coppo, M. Dezani-Ciancaglini, N. Yoshida, L. Padovani
- Computer ScienceMathematical Structures in Computer Science
- 10 November 2014
A novel static interaction type system for global progress in dynamically interleaved and interfered multiparty sessions infers causalities of channels making sure that processes do not get stuck at intermediate stages of sessions also in presence of delegation.
A Theory of Design-by-Contract for Distributed Multiparty Interactions
An assertion method, based on the π-calculus with full recursion, is presented, which generalises the notion of DbC to multiparty distributed interactions to enable effective specification and verification of distributed multiparty protocols.
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
The key property of the findings is the notion of multiparty compatibility which non-trivially extends the duality condition for binary session types.