Changeset [d67f471b5af179c9f0d865c425c0542dbe3fa9cd] 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...

Committed by Douglas Creager

  • 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
New-ticket 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.