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