|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
|
| [RACTI-RU1-2015-3] Michail, Othon and Spirakis, Paul, Terminating Population Protocols via some Minimal Global Knowledge Assumptions, in: Journal of Parallel and Distributed Computing (JPDC), volume 81-82, pages 1-10, 2015. [DOI] |
|
| Keywords: | population protocol, cover-time service, rendezvous-based communication, interaction, counter machine, absence detector, linear-bounded automaton
|
|
| [RACTI-RU1-2012-24] Michail, Othon, Chatzigiannakis, Ioannis and Spirakis, Paul, Terminating Population Protocols via some Minimal Global Knowledge Assumptions, in: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), pages 77-89, Springer-Verlag Berlin Heidelberg, 2012. [DOI] |
|
| Keywords: | population protocol, cover-time service, rendezvous-based communication, interaction, counter machine, absence detector, linear-bounded automaton
|
|
|
|
|
|
