hst: 1.0-α3

Expected: Nov 21st, 2008 | No open tickets, 1 ticket total. — Would you like to Close this milestone?

  • CSPM-to-CSP₀ compiler

Released 2008-11-21: http://dcreager.net/hst/hst-1.0-...

Closed Tickets

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.

Recent Messages