scientific article; zbMATH DE number 2087486

MaRDI QIDQ4738286zbMATH OpenFDO

Authors Volker Diekert, Paul Gastin

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2300/23000026.htm

zbMATH Keywords

aperiodic monoidsconcurrencyMazurkiewicz tracessafety and liveness propertiestemporal logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 17700
• scientific article; zbMATH DE number 1059326
• A lattice-theoretic characterization of safety and liveness
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 139631

Cited in

(6)

• LTL is expressively complete for Mazurkiewicz traces
• Topology, monitorable properties and runtime verification
• From local to global temporal logics over Mazurkiewicz traces.
• A lattice-theoretic characterization of safety and liveness
• Refining the Safety-Liveness Classification of Temporal Properties According to Realizability
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces

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 Q4738286)