Liveness to safety for distributed systems

DOI10.1007/978-3-032-13711-1_2MaRDI QIDQ7285337zbMATH OpenFDO

Authors Lenore D. Zuck

Publication date 19 June 2026

Full work available at URL https://doi.org/10.1007/978-3-032-13711-1_2

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A Simple Parallel Algorithm for the Maximal Independent Set Problem
• Completing the temporal picture
• scientific article; zbMATH DE number 1956507 (Why is no real title available?)
• scientific article; zbMATH DE number 2062344 (Why is no real title available?)
• Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
• Invisible Safety of Distributed Protocols
• Liveness by Invisible Invariants
• Liveness checking as safety checking for infinite state spaces
• Shape Analysis of Single-Parent Heaps
• Verification of multi-linked heaps

This page was built for publication: Liveness to safety for distributed systems

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