Sciweavers

Share
3 search results - page 1 / 1
» On First-Order Fragments for Mazurkiewicz Traces
Sort
View
FUIN
2007
135views more  FUIN 2007»
8 years 11 months ago
On First-Order Fragments for Mazurkiewicz Traces
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...
Volker Diekert, Martin Horsch, Manfred Kufleitner
LICS
2003
IEEE
9 years 4 months ago
Model-checking Trace Event Structures
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...
P. Madhusudan
books