16 search results - page 1 / 4 » An Expressively Complete Linear Time Temporal Logic for Mazu... |
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
LPAR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
LATIN
2004
Springer
13 years 10 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
ICTL
1994
13 years 9 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...