Mantis H. M. Cheng. MMC. Prolog source code for simulation/verification tool for Tony Hoare’s Communicating Sequential Processes. University of Victoria.
Click here to get the file
This site conforms to the following standards: