Mediated population protocols

47Citations
Citations of this article
15Readers
Mendeley users who have this article in their library.

Abstract

We extend here the Population Protocol (PP) model of Angluin et al. (2004, 2006) [2,4] in order to model more powerful networks of resource-limited agents that are possibly mobile. The main feature of our extended model, called the Mediated Population Protocol (MPP) model, is to allow the edges of the interaction graph to have states that belong to a constant-size set. We then allow the protocol rules for pairwise interactions to modify the corresponding edge state. The descriptions of our protocols preserve both the uniformity and anonymity properties of PPs, that is, they do not depend on the size of the population and do not use unique identifiers. We focus on the computational power of the MPP model on complete interaction graphs and initially identical edges. We provide the following exact characterization of the class MPS of stably computable predicates: a predicate is in MPS iff it is symmetric and is in NSPACE(n2). © 2010 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Michail, O., Chatzigiannakis, I., & Spirakis, P. G. (2011). Mediated population protocols. Theoretical Computer Science, 412(22), 2434–2450. https://doi.org/10.1016/j.tcs.2011.02.003

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free