scientific article; zbMATH DE number 1114033
From MaRDI portal
Publication:4375802
zbMATH Open0886.03017MaRDI QIDQ4375802FDOQ4375802
Madhavan Mukund, P. S. Thiagarajan
Publication date: 8 February 1998
Title of this publication is not available (Why is that?)
Recommendations
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 (17)
- 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
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
- Towards automata for branching time and partial order
- Algebraic Methodology and Software Technology
- A product version of dynamic linear time temporal logic
- Title not available (Why is that?)
- 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
- Time-stamps for Mazurkiewicz traces.
- Title not available (Why is that?)
- An expressively complete linear time temporal logic for Mazurkiewicz traces
- AN EXPRESSIVE EXTENSION OF TLC
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)
