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
Titles (3)Keywords (1)Abstracts (5)
[RACTI-RU1-2009-98] Chatzigiannakis, Ioannis, Michail, Othon and Spirakis, Paul, Brief Announcement: Decidable Graph Languages by Mediated Population Protocols, in: 23rd International Symposium on Distributed Computing, Spain, 2009.
 
[RACTI-RU1-2009-24] Chatzigiannakis, Ioannis, Michail, Othon and Spirakis, Paul, Decidable Graph Languages by Mediated Population Protocols, in: 23rd International Symposium on Distributed Computing (DISC 2009), pages 239-240, Springer-Verlag, LNCS, Elche/Elx, Spain, 2009.
 
[RACTI-RU1-2010-26] Chatzigiannakis, Ioannis, Michail, Othon and Spirakis, Paul, Stably Decidable Graph Languages by Mediated Population Protocols, in: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 252-266, Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. [DOI]