In: de Bakker, J.W.; et al.: Lecture Notes in Computer Science, Vol. 354: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency., pages 574-602. Springer Verlag, 1989.
Abstract: Nets of Processes provide a unifying approach to semantics of concurrently executing agents. In this framework modularity and Kahn's principle are investigated for Data Flow Networks.