A Process Algebra for the Operational Semantics of Static Data Flow Networks (1983)

by J A BERGSTRA, J W KLOP
Venue:Report IW222/83, Mathernatisch Centrum