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