Artifact Details

Title

CCS

Catalog Number

102790977

Type

Software

Description

Prolog source code for simulation/verification tool for Robin Milner's calculus of communicating systems.

Date

1999

Publisher

Cheng, Mantis Hoi Ming

Version

1.0

Format

Source Code

Credit

Gift of Mantis Hoi Ming Cheng

Lot Number

X9291.2020
Text
 
 

Related Records

102790975 FPL
102790978MMC
102790976 Waterloo Unix Prolog and Lisp Environment