10 citations · 11 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
We consider networks of processes that all execute the same finite-state protocol and communicate via a rendez-vous mechanism. When a process requests a rendez-vous, another proces…
cs.GT2023★ 10 cited
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni +22
The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared…