The class of monotone input/output automata has been shown in the authors' previous work
to be a useful operational model for dataflow-style networks of communicating processes …

We use input/output automata to define a simple and general model of networks of
concurrently executing, nondeterministic processes that communicate through …

We consider monotone input/output automata, which model a usefully large class of
dataflow networks of indeterminate (or nonfunctional) processes. We obtain a …

8. Automata Page 1 G. Ştefănescu, Network Algebra © Springer-Verlag London 2000 8.
Automata Ideals are like the stars: we never reach them, but like the mariners of the sea, we …

The input/output automaton model has recently been defined, in [LT1, LT2], as a tool for
modelling concurrent and distributed discrete event systems of the sorts arising in computer …

In the short extension of five lectures, we try to summarize some of the basic notions of
Automata Theory. Our concern throughout these notes has been the use of an …

In the short extension of five lecture?~ we try to summarize some of the basic notions of
Automata Theory. Our concern throughout these notes has been the use of an …

The input/output automaton model has recently been de ned, in LT1, LT2], as a tool for
modeling concurrent and distributed discrete event systems of the sorts arising in computer …

The expressiveness of concurrent data ow primitives have been studied from the point of
view of automata theory 19] as well as in terms of abstractly given processes de ned in terms …