On the Specification and Synthesis of Communicating Processes

M. Hakan Erdogmus, Robert Johnston. On the Specification and Synthesis of Communicating Processes. IEEE Trans. Software Eng., 16(12):1412-1426, 1990. [doi]

Authors

M. Hakan Erdogmus

This author has not been identified. Look up 'M. Hakan Erdogmus' in Google

Robert Johnston

This author has not been identified. Look up 'Robert Johnston' in Google