Chen, Jiaqi; Dolev, Shlomi; Kutten, Shay - 2022
Abstract. We generalize the definition of Proof Labeling Schemes toreactive systems, that is, systems where the configuration is supposedto keep changing forever. As an example, we address the main classicaltest case of reactive tasks, namely, the task of token passing. DifferentRPLSs are given...