Linear time temporal logics over Mazurkiewicz traces

DOI10.1007/3-540-61550-4_140MaRDI QIDQ4375802zbMATH OpenFDO

Authors Madhavan Mukund, P. S. Thiagarajan

Publication date 8 February 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61550-4_140

zbMATH Keywords

linear time temporal logicsMazurkiewicz tracesmodel checkingpartial orderssatisfiability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1059327
• Distributed versions of linear time temporal logic: A trace perspective
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 1969331

Cited in

(20)

• LTL is expressively complete for Mazurkiewicz traces
• Model checking properties on reduced trace systems
• Local temporal logic is expressively complete for cograph dependence alphabets
• Bounded time-stamping in message-passing systems
• From local to global temporal logics over Mazurkiewicz traces.
• Time-stamps for Mazurkiewicz traces.
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• AN EXPRESSIVE EXTENSION OF TLC
• scientific article; zbMATH DE number 2088655 (Why is no real title available?)
• Distributed versions of linear time temporal logic: A trace perspective
• scientific article; zbMATH DE number 1059327 (Why is no real title available?)
• scientific article; zbMATH DE number 1969331 (Why is no real title available?)
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• Decomposition of TrPTL formulas
• Algebraic Methodology and Software Technology
• CONCUR 2005 – Concurrency Theory
• A product version of dynamic linear time temporal logic
• Towards automata for branching time and partial order
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

This page was built for publication: Linear time temporal logics over Mazurkiewicz traces

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