A denotational model for mobile point-to-point dataflow networks - Grosu, Radu; Stølen, Ketil (1995)