research
∙
07/24/2023
Safe asynchronous mixed-choice for timed interactions
Mixed-choice has long been barred from models of asynchronous communicat...
share
research
∙
12/07/2022
revTPL: The Reversible Temporal Process Language
Reversible debuggers help programmers to find the causes of misbehaviour...
research
∙
03/04/2022
A Theory of Protocol Composition
Real-world communication protocols are often built out of a number of si...
research
∙
11/29/2017