Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Model Checking Population Protocols - MaRDI portal

Model Checking Population Protocols

From MaRDI portal

Publication:4636574

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2016.27zbMath1391.68078OpenAlexW2575993660MaRDI QIDQ4636574

Rupak Majumdar, Pierre Ganty, Javier Esparza, Jérôme Leroux

Publication date: 19 April 2018

Full work available at URL: https://hal.science/hal-02391850

zbMATH Keywords

decidability population protocols probabilistic model checking parameterized systems probabilistic linear-time specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Advances in parameterized verification of population protocols ⋮ Population protocols: beyond runtime analysis ⋮ Unnamed Item ⋮ Verification of Immediate Observation Population Protocols ⋮ The complexity of verifying population protocols ⋮ Towards efficient verification of population protocols

This page was built for publication: Model Checking Population Protocols

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4636574&oldid=18819245"