research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo
Keywords (2)
[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