3 search results - page 1 / 1 » On First-Order Fragments for Mazurkiewicz Traces |
FUIN
2007
13 years 5 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...
DLT
2007
13 years 6 months ago
2007
LICS
2003
IEEE
13 years 10 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...