Browsing by Author "Fabre, E."
Now showing items 1-1 of 1
-
Conference Object
A trellis notion for distributed system diagnosis with sequential semantics
Fabre, E.; Hadjicostis, Christoforos N. (2006)We consider modular automata, obtained as a product of elementary components, and adopt the usual sequential semantics: runs of these systems are sequences of events (in contrast to partial orders). The set of all runs of ...