scientific article; zbMATH DE number 1759635

zbMATH Open0999.68152MaRDI QIDQ4536628FDOQ4536628

Authors: Bernadette Charron-Bost, Sam Toueg, Anindya Basu 

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Safety and liveness from a methodological point of view
• Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
• Defining liveness
• Safety-liveness exclusion in distributed computing
• A lattice-theoretic characterization of safety and liveness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Explaining safety failures in NetKAT
• Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
• Robustness in Interaction Systems
• Message and time efficient consensus protocols for synchronous distributed systems
• Spanning the Spectrum from Safety to Liveness

This page was built for publication:

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