research unit 1

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit
Keywords (2)Abstracts (1)
[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.
Keywords:population protocols diffuse computation, decidability, communicating automata, finite automata

[RACTI-RU1-2009-27] Chatzigiannakis, Ioannis, Dolev, Shlomi, Fekete, Sandor, Michail, Othon and Spirakis, Paul, Not All Fair Probabilistic Schedulers are Equivalent, in: 13th International Conference On Principles Of DIstributed Systems (OPODIS 2009), pages 33-47, Springer-Verlag Berlin Heidelberg, Nimes, France, 2009.
Keywords:population protocol, probabilistic scheduler, fair scheduler, fairness, communicating automata