Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
From MaRDI portal
Publication:4633532
DOI10.1007/978-3-319-41528-4_9zbMath1411.68073OpenAlexW2479556144MaRDI QIDQ4633532
Nicolas Braud-Santoni, Swen Jacobs, Roderick Bloem
Publication date: 3 May 2019
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_9
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)
Related Items
Synthesis of distributed algorithms with parameterized threshold guards, Synchronous counting and computational algorithm design, Near-optimal self-stabilising counting and firing squads, Parameterized synthesis of self-stabilizing protocols in symmetric networks, Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings, Unnamed Item