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 ...