• 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
Deadlock-freedom-by-design: multiparty asynchronous global programming
TLDR
This work proposes a purely-global programming model that defines a new class of deadlock-free concurrent systems, provides type inference, and supports session mobility, and develops a typing discipline that verifies choreographies against protocol specifications, based on multiparty sessions. Expand
Using Trust for Secure Collaboration in Uncertain Environments
The SECURE project investigates the design of security mechanisms for pervasive computing based on trust. It addresses how entities in unfamiliar pervasive computing environments can overcome initialExpand
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
A formal model for trust in dynamic networks
TLDR
A novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the same time a trust and an information partial order are proposed. Expand
On the Expressive Power of Polyadic Synchronisation in pi-calculus
TLDR
The degree of synchronisation of a language increases its expressive power by means of a separation result in the style of Palamidessi's result for mixed choice. Expand
A Theoretical Basis of Communication-Centred Concurrent Programming
We introduce two di fferent ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring onExpand
Structured Interactional Exceptions in Session Types
TLDR
New exception types guarantee communication safety and offer a precise type-abstraction of advanced conversation patterns found in practice, and protocols for coordinating normal and exceptional exit among asynchronously running sessions are introduced. Expand
...
1
2
3
4
5
...