Changeset [d67f471b5af179c9f0d865c425c0542dbe3fa9cd] by Douglas Creager
Revision d67f471b5af179c9f0d865c425c0542dbe3fa9cd,
committed by Douglas Creager
· November 6th, 2008 @ 09:30 PM
Adding predefined SKIP and STOP processes
This patch introduces CSPM keywords for the predefined SKIP and STOP processes.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
4 changed files
-
M
cspm/src/HST/CSP0/Processes.lhs -
M
cspm/src/HST/CSPM/Bind.hs -
M
cspm/src/HST/CSPM/Evaluate.hs -
M
cspm/src/HST/CSPM/Types.hs