research
∙
07/10/2023
Model-checking parametric lock-sharing systems against regular constraints
In parametric lock-sharing systems processes can spawn new processes to ...
share
research
∙
04/26/2022
Distributed controller synthesis for deadlock avoidance
We consider the distributed control synthesis problem for systems with l...
research
∙
10/06/2021
Active Learning for Sound Negotiations
We present two active learning algorithms for sound deterministic negoti...
research
∙
01/21/2021
Leafy Automata for Higher-Order Concurrency
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming...
research
∙
04/20/2020
Characterizing consensus in the Heard-Of model
The Heard-Of model is a simple and relatively expressive model of distri...
research
∙
07/04/2019