Changeset [6ee10a95b2524c1f021968f4e51d028c206df988] by Douglas Creager
September 12th, 2008 @ 12:06 AM
Initial support for CSP₀ scripts
This patch introduces support for CSP₀ scripts. It has functions for creating CSP₀ statements and scripts, but there's no functionality yet for translating CSPM into CSP₀.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
Committed by Douglas Creager
- M cspm/src/HST/CSP0/Processes.lhs
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.