Nets of processes and data flow (1988)

by A Rabinovich, B A Trakhtenbrot
Venue:In Proceedings of Rex Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lect. Notes in Computer Science