Terminating population protocols via some minimal global knowledge assumptions



Michail, Othon ORCID: 0000-0002-6234-3960 and Spirakis, Paul G ORCID: 0000-0001-5396-3749
(2015) Terminating population protocols via some minimal global knowledge assumptions. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 81-82. 1 - 10.

[img] Text
jpdc15.pdf - Accepted Version

Download (302kB)
Item Type: Article
Uncontrolled Keywords: Population protocol, Cover-time service, Rendezvous-based communication, Interaction, Counter machine, Absence detector, Linear-bounded automaton
Depositing User: Symplectic Admin
Date Deposited: 20 Sep 2016 07:31
Last Modified: 12 Aug 2022 20:11
DOI: 10.1016/j.jpdc.2015.02.005
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3003386