scientific article; zbMATH DE number 1114033

zbMATH Open0886.03017MaRDI QIDQ4375802FDOQ4375802

Madhavan Mukund, P. S. Thiagarajan

Publication date: 8 February 1998

Title of this publication is not available (Why is that?)

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)

Cited In (12)

• Bounded time-stamping in message-passing systems
• Title not available (Why is that?)
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
• CONCUR 2005 – Concurrency Theory
• Algebraic Methodology and Software Technology
• A product version of dynamic linear time temporal logic
• LTL is expressively complete for Mazurkiewicz traces
• From local to global temporal logics over Mazurkiewicz traces.
• Local temporal logic is expressively complete for cograph dependence alphabets
• Title not available (Why is that?)
• An expressively complete linear time temporal logic 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 Q4375802)