scientific article; zbMATH DE number 1424035

MaRDI QIDQ4945225zbMATH OpenFDO

Authors Volker Diekert, Paul Gastin

Publication date 23 August 2000

zbMATH Keywords

concurrencyexpressive completenessfuture tense modalitieslinear time temporal logicMazurkiewicz tracesmodel of concurrent systems

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An expressively complete linear time temporal logic for Mazurkiewicz traces
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• LTL is expressively complete for Mazurkiewicz traces
• scientific article; zbMATH DE number 1670825
• scientific article; zbMATH DE number 2086684

Cited in

(7)

• LTL is expressively complete for Mazurkiewicz traces
• The complexity of propositional linear temporal logics in simple cases
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 1670825 (Why is no real title available?)
• scientific article; zbMATH DE number 1136089 (Why is no real title available?)
• scientific article; zbMATH DE number 5587267 (Why is no real title available?)
• 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 Q4945225)