scientific article; zbMATH DE number 1114033

zbMath0886.03017MaRDI QIDQ4375802

Madhavan Mukund, P. S. Thiagarajan

Publication date: 8 February 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingsatisfiabilitypartial ordersMazurkiewicz 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)

Related Items (9)

Pure future local temporal logics are expressively complete for Mazurkiewicz traces ⋮ A product version of dynamic linear time temporal logic ⋮ Unnamed Item ⋮ Local temporal logic is expressively complete for cograph dependence alphabets ⋮ From local to global temporal logics over Mazurkiewicz traces. ⋮ Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces ⋮ An expressively complete linear time temporal logic for Mazurkiewicz traces ⋮ Bounded time-stamping in message-passing systems ⋮ LTL is expressively complete for Mazurkiewicz traces

This page was built for publication: