Verification of Population Protocols
From MaRDI portal
Publication:5357724
DOI10.4230/LIPIcs.CONCUR.2015.470zbMath1374.68326MaRDI QIDQ5357724
Javier Esparza, Jérôme Leroux, Rupak Majumdar, Pierre Ganty
Publication date: 12 September 2017
Full work available at URL: https://hal.archives-ouvertes.fr/hal-02391875
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M12: Network protocols
Related Items
Unnamed Item, Verification of Immediate Observation Population Protocols, Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks, Parameterized Analysis of Immediate Observation Petri Nets, Existence of home states in Petri nets is decidable, Parameterized model checking of rendezvous systems, Towards efficient verification of population protocols, Flat Petri nets (invited talk)