NA Lynch, EW Stark - Information and Computation, 1989 - Elsevier
We use input/output automata to define a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through …
EW Stark - Proceedings of the 17th ACM SIGPLAN-SIGACT …, 1989 - dl.acm.org
We consider monotone input/output automata, which model a usefully large class of dataflow networks of indeterminate (or nonfunctional) processes. We obtain a …
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 …