The complexity of verifying population protocols

Titel:: The complexity of verifying population protocols
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana
Zeitschriftentitel:: Distributed Computing
Jahr:: 2021
Band / Volume:: 34
Heft / Issue:: 2
Seitenangaben Beitrag:: 133-177
Volltext / DOI:: doi:10.1007/s00446-021-00390-x
Verlag / Institution:: Springer Science and Business Media LLC
E-ISSN:: 0178-27701432-0452
Publikationsdatum:: 24.03.2021
BibTeX

Vorkommen: