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

(3)

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

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)