scientific article; zbMATH DE number 1759635

zbMATH Open0999.68152MaRDI QIDQ4536628FDOQ4536628

Sam Toueg, Bernadette Charron-Bost, Anindya Basu

Publication date: 25 June 2002

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

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

   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 👍 👎

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)