DeepAI AI Chat
Log In Sign Up

Deconfined Global Types for Asynchronous Sessions

11/23/2021
by   Francesco Dagnino, et al.
0

Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all participants, maximising, at the same time, the behaviours accepted. The global types presented in this paper improve the state-of-the-art by extending the set of typable asynchronous sessions and preserving decidability of type checking together with the key properties of Subject Reduction, Session Fidelity and Progress. Our type system is equipped with a type inference algorithm returning global types to be checked against well-formedness conditions.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/01/2021

Global types and event structure semantics for asynchronous multiparty sessions

We propose an interpretation of multiparty sessions with asynchronous co...
03/18/2021

Zooid: a DSL for Certified Multiparty Computation

We design and implement Zooid, a domain specific language for certified ...
10/05/2018

Global Types for Open Systems

Global-type formalisms enable to describe the overall behaviour of distr...
02/23/2018

Stateful Behavioral Types for ABS

It is notoriously hard to correctly implement a multiparty protocol whic...
05/06/2023

On the usefulness of linear types for correct nonce use enforcement during compile time

Cryptographic algorithms and protocols often need unique random numbers ...
07/08/2021

Generalising Projection in Asynchronous Multiparty Session Types

Multiparty session types (MSTs) provide an efficient methodology for spe...
03/06/2023

Asynchronous Modal FRP

Over the past decade, a number of languages for functional reactive prog...