• Publications
  • Influence
Multiparty Asynchronous Session Types
TLDR
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. Expand
Structured Communication-Centred Programming for Web Services
TLDR
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, 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 counterpart preserving types and dynamics. Expand
On Reduction-Based Process Semantics
TLDR
A formulation of semantic theories for processes which is based on reduction relation and equational reasoning is studied, and the resulting theories in many cases coincide with, and sometimes generalise, observation-based formulation of behavioural equivalence. Expand
Session-Based Distributed Programming in Java
TLDR
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. Expand
Structured Communication-Centered Programming for Web Services
TLDR
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. Expand
Multiparty asynchronous session types
TLDR
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. Expand
Multiparty Session Types Meet Communicating Automata
TLDR
A generalised variant of multiparty session types that have a direct semantical correspondence to CFSMs is presented, generalising Gouda et al's work [12] (for two machines) to an arbitrary number of machines. Expand
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
TLDR
The issues involved in higher-order session communication are discussed, a formulation of the recursive types as well as proofs of the Subject Reduction and Type Safety Theorems of the original session typing system by Honda-Vasconcelos-Kubo in ESOP'98 are presented and a variant which allows a more liberal higher- order session communication is proposed, based on an idea of Gay and Hole. Expand
Dynamic multirole session types
TLDR
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. Expand
A Theory of Design-by-Contract for Distributed Multiparty Interactions
TLDR
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. Expand
...
1
2
3
4
5
...