Asynchronous Sessions with Input Races

03/24/2022
by   Ilaria Castellani, et al.
0

We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/12/2018

Mailbox Types for Unordered Interactions

We propose a type system for reasoning on protocol conformance and deadl...
research
10/01/2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks

This paper considers the challenging problem of establishing deadlock fr...
research
08/22/2023

Combining Automatic Coding and Instructor Input to Generate ENA Visualizations for Asynchronous Online Discussion

Asynchronous online discussions are a common fundamental tool to facilit...
research
11/23/2017

That's Enough: Asynchrony with Standard Choreography Primitives

Choreographies are widely used for the specification of concurrent and d...
research
10/22/2020

Automata and Fixpoints for Asynchronous Hyperproperties

Hyperproperties have received increasing attention in the last decade du...
research
11/25/2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version)

This paper considers the challenging problem of establishing deadlock fr...
research
11/30/2017

On Asynchrony and Choreographies

Choreographic Programming is a paradigm for the development of concurren...

Please sign up or login with your details

Forgot password? Click here to reset