scientific article; zbMATH DE number 1114033

MaRDI QIDQ4375802zbMATHFDO

Authors Madhavan Mukund, P. S. Thiagarajan

Publication date 8 February 1998

zbMATH Keywords

model checkingpartial orderssatisfiabilityMazurkiewicz traceslinear time temporal logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1059327
• scientific article; zbMATH DE number 1302050
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 1969331

Cited in

(18)

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

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