On Urgency in Asynchronous Timed Session Types

10/05/2018
by   Maurizio Murgia, et al.
0

We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-freedom is preserved when passing from synchronous to asynchronous communication.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/26/2021

A Session Subtyping Tool (Extended Version)

Session types are becoming popular and have been integrated in several m...
03/18/2021

Zooid: a DSL for Certified Multiparty Computation

We design and implement Zooid, a domain specific language for certified ...
04/02/2019

A Message-Passing Interpretation of Adjoint Logic

We present a system of session types based on adjoint logic which genera...
12/23/2021

Deadlock-free asynchronous message reordering in Rust with multiparty session types

Rust is a modern systems language focused on performance and reliability...
01/20/2021

Fair Refinement for Asynchronous Session Types (extended version)

Session types are widely used as abstractions of asynchronous message pa...
01/28/2019

Verifying Asynchronous Interactions via Communicating Session Automata

The relationship between communicating automata and session types is the...
09/12/2019

Open Multiparty Sessions

Multiparty sessions are systems of concurrent processes, which allow sev...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.