1133 search results - page 1 / 227 » Local Logics for Traces |
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...
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
2005
Springer
13 years 10 months ago
2005
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
JALC
2002
13 years 4 months ago
2002
A