Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
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 (6)
This page was built for publication: Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems