Invited Paper: Reactive PLS for Distributed Decision

Jiaqi Chen, Shlomi Dolev, Shay Kutten

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We generalize the definition of Proof Labeling Schemes to reactive systems, that is, systems where the configuration is supposed to keep changing forever. As an example, we address the main classical test case of reactive tasks, namely, the task of token passing. Different RPLSs are given for the cases that the network is assumed to be a tree or an anonymous ring, or a general graph, and the sizes of RPLSs’ labels are analyzed. We also address the question whether an RPLS exists. Interestingly, for the anonymous ring, it is known that no token passing algorithm is possible even if the number n is known. Nevertheless, we show that an RPLS is possible. We show that if one drops the assumption that n is known, the construction becomes impossible.

Original languageEnglish
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings
EditorsStéphane Devismes, Neeraj Mittal
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages16
ISBN (Print)9783030643478
StatePublished - 1 Jan 2020
Event22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020 - Austin, United States
Duration: 18 Nov 202021 Nov 2020

Publication series

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


Conference22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020
Country/TerritoryUnited States


  • Distributed proofs
  • Distributed reactive systems
  • Proof Labeling Schemes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Invited Paper: Reactive PLS for Distributed Decision'. Together they form a unique fingerprint.

Cite this