Opening book details…
Can I read From local to global temporal logics over Mazurkiewicz traces on EtoBox?
From local to global temporal logics over Mazurkiewicz traces by Volker Diekert; Paul Gastin is a Computer Science article available to read on EtoBox.
What is From local to global temporal logics over Mazurkiewicz traces about?
We review some results on global and local temporal logic on Mazurkiewicz traces. Our main contribution is to show how to derive the expressive completeness of global temporal logic with respect to first-order logic [V. Diekert, P. Gastin, LTL is expressively complete for Mazurkiewicz traces, J.
Who reads From local to global temporal logics over Mazurkiewicz traces?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Volker Diekert; Paul Gastin
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)