research
∙
07/10/2023
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
We consider networks of processes that all execute the same finite-state...
share
research
∙
02/18/2020
Synthesis in Presence of Dynamic Links
The problem of distributed synthesis is to automatically generate a dist...
research
∙
10/31/2019
