Title
MMCCatalog Number
102790978Type
SoftwareDescription
Prolog source code for simulation/verification tool for Tony Hoare's communicating sequential processes.Date
1999Publisher
Cheng, Mantis Hoi MingVersion
2.0Credit
Gift of Mantis Hoi Ming ChengLot Number
X9291.2020
Related Records
| 102790977 | CCS |
| 102790975 | FPL |
| 102790976 | Waterloo Unix Prolog and Lisp Environment |