Skip to content. Skip to navigation

Software Preservation Group

Sections

Home
Projects
Forums
Wiki
Meetings
About Us
Can you help?

Personal tools

You are here: Home → Projects → Prolog → University of Victoria → Source code → Mantis H. M. Cheng. CCS.

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?

Document Actions

Mantis H. M. Cheng. CCS.

by Paul McJones — last modified 2019-06-20 16:17

Mantis H. M. Cheng. CCS. Prolog source code for simulation/verification tool for Robin Milner’s calculus of communicating systems. University of Victoria.

Click here to get the file

Size 38.5 kB - File type application/zip

This site conforms to the following standards:

Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser