A denotational model for mobile many-to-many data-flow networks - Grosu, Radu; Stølen, Ketil (1996)