↓ Skip to main content

Coordination Models and Languages

Overview of attention for book
Attention for Chapter 12: Safe Asynchronous Mixed-Choice for Timed Interactions
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Safe Asynchronous Mixed-Choice for Timed Interactions
Chapter number 12
Book title
Coordination Models and Languages
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-35361-1_12
Book ISBNs
978-3-03-135360-4, 978-3-03-135361-1
Authors

Pears, Jonah, Bocchi, Laura, King, Andy