Title
CCSCatalog Number
102790977Type
SoftwareDescription
Prolog source code for simulation/verification tool for Robin Milner's calculus of communicating systems.Date
1999Publisher
Cheng, Mantis Hoi MingVersion
1.0Format
Source CodeCredit
Gift of Mantis Hoi Ming ChengLot Number
X9291.2020Related Records
102790975 | FPL |
102790978 | MMC |
102790976 | Waterloo Unix Prolog and Lisp Environment |