HST 1.0 Alpha 4

HST is an useful software package that includes the necessary tools for checking the refinement of CSP scripts.

HST contains a CSP library (written in C++), a CSPM libary (written in Haskell) and two command-line applications that can be used to process CSP scripts ( “cspm” and “csp0”).

cspm can be used to evaluate and compile CSPM scripts, and csp0 can perform refinement checks on the compiled CSP scripts.

What's New in This Release: [ read full changelog ]

CSPM compiler:
· comments
· nametype statement
· datatype statement
· dotted values
· data-carrying channels

CSP₀ support for:
Operators:
· replicated internal choice (⊓)