Local safety and local liveness for distributed systems

MaRDI QIDQ5190776zbMATH OpenFDO

Authors Volker Diekert, Paul Gastin

Publication date 27 July 2009

zbMATH Keywords

concurrencylivenesslocal temporal logicsMazurkiewicz tracessafety

Mathematics Subject Classification ID

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

Recommendations

• Safety and liveness from a methodological point of view
• Recognizing safety and liveness
• On the refinement of liveness properties of distributed systems
• scientific article; zbMATH DE number 17700
• scientific article; zbMATH DE number 1059323

Cited in

(7)

• Safe ambients: Abstract machine and distributed implementation
• Safety-liveness exclusion in distributed computing
• scientific article; zbMATH DE number 1059323 (Why is no real title available?)
• A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
• Local Proofs for Global Safety Properties
• On the refinement of liveness properties of distributed systems
• Safety and liveness from a methodological point of view

This page was built for publication: Local safety and local liveness for distributed systems

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