2 search results - page 1 / 1 » Polynomials, Fragments of Temporal Logic and the Variety DA ... |
DLT
2006
13 years 6 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
FUIN
2007
13 years 4 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...