Next: Spec Directives, Previous: PRS, Up: Top
The CHP language, based on Hoare's CSP, is slightly different in HAC than in CAST.