Reif JH and SA Smolka (1990). “Data Flow Analysis of Distributed Communicating Processes International.” J Parallel Programming 19.
Reif JH and SA Smolka (1990). “Data Flow Analysis of Distributed Communicating Processes International.” J Parallel Programming 19.