Invisible Safety of Distributed Protocols

DOI10.1007/11787006_45MaRDI QIDQ3591451zbMATH OpenOpenAlexFDO

Authors Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Publication date 11 September 2007

Published in Automata, Languages and Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Liveness by Invisible Invariants
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• On Reasoning About Rings
• Computer Aided Verification

Cited in

(4)

• Safe ambients: Abstract machine and distributed implementation
• Uncovering symmetries in irregular process networks
• Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees
• Liveness to safety for distributed systems

This page was built for publication: Invisible Safety of Distributed Protocols

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