Recent Advances in Population Protocols

Authors:
Ioannis Chatzigiannakis;Othon Michail;Paul G. Spirakis
Affiliations:
Research Academic Computer Technology Institute (RACTI), Patras, Greece and Computer Engineering and Informatics Department (CEID), University of Patras, Patras, Greece 26500;Research Academic Computer Technology Institute (RACTI), Patras, Greece and Computer Engineering and Informatics Department (CEID), University of Patras, Patras, Greece 26500;Research Academic Computer Technology Institute (RACTI), Patras, Greece and Computer Engineering and Informatics Department (CEID), University of Patras, Patras, Greece 26500
Venue:
MFCS '09 Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009
Year:
2009

Citing 0
Cited 9

Not All Fair Probabilistic Schedulers Are Equivalent

OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
Brief announcement: decidable graph languages by mediated population protocols

DISC'09 Proceedings of the 23rd international conference on Distributed computing
All symmetric predicates in NSPACE(n2) are stably computable by the mediated population protocol model

MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Algorithmic verification of population protocols

SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Upper and lower bounds of space complexity of self-stabilizing leader election in mediated population protocol

OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Mediated population protocols

Theoretical Computer Science
Passively mobile communicating machines that use restricted space

Theoretical Computer Science
Survey: Computational models for networks of tiny artifacts: A survey

Computer Science Review
The computational power of simple protocols for self-awareness on graphs

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Let V = {x1,...,xn} be a set of variables that range over a set of values D = {d1,...,dq}. A constraint is an expression of the type $R(x_{i_1},\ldots,x_{i_r})$, ...