Proving convergence of self-stabilizing systems using first-order rewriting and regular languages

DOI10.1007/PL00008931MaRDI QIDQ5138353zbMATH OpenOpenAlexFDO

Authors Béatrice Bérard, Frédéric Magniette, J. Beauquier, Laurent Fribourg

Publication date 3 December 2020

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/pl00008931

zbMATH Keywords

rewriting systemsself-stabilization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Towards Automatic Convergence Verification of Self-stabilizing Algorithms
• A self-stabilizing algorithm for constructing breadth-first trees
• An exercise in proving self-stabilization with a variant function
• Coupling and self-stabilization
• Coupling and Self-stabilization

Cites work

• A belated proof of self-stabilization
• A self-stabilizing algorithm for maximal matching
• An exercise in proving self-stabilization with a variant function
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Computing with graph rewriting systems with priorities
• Different local controls for graph relabeling systems
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3729436 (Why is no real title available?)
• scientific article; zbMATH DE number 3577484 (Why is no real title available?)
• scientific article; zbMATH DE number 732976 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• Minimal and complete word unification
• On the recognition of families of graphs with local computations
• Self-stabilizing extensions for message-passing systems
• Self-stabilizing systems in spite of distributed control
• Topics in termination

Cited in

(2)

• scientific article; zbMATH DE number 1863180 (Why is no real title available?)
• Towards Automatic Convergence Verification of Self-stabilizing Algorithms

This page was built for publication: Proving convergence of self-stabilizing systems using first-order rewriting and regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5138353)