Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Subject "Factorization"
Now showing items 1-1 of 1
-
Conference Object
A trellis notion for distributed system diagnosis with sequential semantics
(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 ...