Changeset [449a427b153538a6bd72d9128d1f3fb9471d19ff] by Douglas Creager
November 6th, 2008 @ 09:27 PM
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/HST.cabal
- 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.