4 citations · 8 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
Model-checking lock-sharing systems against regular constraints
Corto Mascle
We study the verification of distributed systems where processes are finite automata with access to a shared pool of locks. We consider objectives that are boolean combinations of…
cs.LO2022
Distributed controller synthesis for deadlock avoidance
Hugo Gimbert, Corto Mascle, Anca Muscholl +1
We consider the distributed control synthesis problem for systems with locks. The goal is to find local controllers so that the global system does not deadlock. With no restriction…