ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms
From MaRDI portal
Publication:5045444
DOI10.1007/978-3-319-69084-1_15zbMath1498.68368OpenAlexW2764022560MaRDI QIDQ5045444
Fathiyeh Faghih, Borzoo Bonakdarpour
Publication date: 4 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-69084-1_15
Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12) Distributed algorithms (68W15)
Related Items (4)
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples ⋮ Parameterized synthesis of self-stabilizing protocols in symmetric networks ⋮ Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings ⋮ Unnamed Item
This page was built for publication: ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms