An Approach to Specifying and Synthesizing Communicating Processes.

M. Hakan Erdogmus, Robert de B. Johnston

Browse the full FORTE paper archive.