Realization of periodic functions by self-stabilizing population protocols with synchronous handshakes

Anissa Lamani, Masafumi Yamashita

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

We consider in the following the problem of realizing periodic functions by a collection of finite state-agents that cooperate by interacting with each other. More formally, given a periodic non-negative integer function f that maps the set of non-negative integers N to itself, we aim in this paper at designing a distributed protocol with a state set Q and a subset S ⊆ Q, such that, for any initial configuration C0, with probability 1, there are a time instant t0 and a constant d ∈ N satisfying f(t + d) = νS(Ct) for all t ≥ t0, where νS(C) is the number of agents with a state in S in a configuration C. The model that we consider is a variant of the population protocol (PP) model in which we assume that each agent is involved in an interaction at each time instant t, hence the notion of synchronous handshakes. These additional assumptions on the model are necessary to solve the considered problem. We also assume that the interacting pairs are matched uniformly at random.

Original languageEnglish
Title of host publicationTheory and Practice of Natural Computing - 5th International Conference, TPNC 2016, Proceedings
EditorsMiguel A. Vega-Rodríguez, Carlos Martín-Vide, Takaaki Mizuki
PublisherSpringer Verlag
Pages21-33
Number of pages13
ISBN (Print)9783319490007
DOIs
Publication statusPublished - Jan 1 2016
Event5th International Conference on Theory and Practice of Natural Computing, TPNC 2016 - Sendai, Japan
Duration: Dec 12 2016Dec 13 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10071 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Conference on Theory and Practice of Natural Computing, TPNC 2016
CountryJapan
CitySendai
Period12/12/1612/13/16

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Realization of periodic functions by self-stabilizing population protocols with synchronous handshakes'. Together they form a unique fingerprint.

  • Cite this

    Lamani, A., & Yamashita, M. (2016). Realization of periodic functions by self-stabilizing population protocols with synchronous handshakes. In M. A. Vega-Rodríguez, C. Martín-Vide, & T. Mizuki (Eds.), Theory and Practice of Natural Computing - 5th International Conference, TPNC 2016, Proceedings (pp. 21-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10071 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-49001-4_2