====== The hse sublanguage ======

The handshaking expansion language uses the same syntax as [[language:langs:chp|CHP]], with the following restrictions:
   * All variables are Boolean-valued
   * Communication actions are not permitted; they should be //expanded// into handshake protocols, hence the name //handshaking expansions//.

For example, a four-phase active handshake on wires ''xo'' and ''xi'' would be written:
<code act>
hse {
  *[ xo+; [xi]; xo-; [~xi] ]
}
</code>