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
∙
07/03/2023
On the Satisfiability of Local First-Order Logics with Data
We study first-order logic over unordered structures whose elements carr...
research
∙
09/21/2022
On the Existential Fragments of Local First-Order Logics with Data
We study first-order logic over unordered structures whose elements carr...
research
∙
07/11/2020