Sun Jan 26 06:07:32 EST 2020

CSP language

1. Assume task to state machine compiler.

2. The code between two selects is a function.

Implementing those functions could be done with human assist.

E.g. once the compiler has split the code into transition functions,
it could probably be converted to C.  But it could just as well be
compiled to a hardware state machine.

That compilation step could in theory be done by hand, e.g. if the
compiler can generate the transition function specificiations (the
part that is hard to do by hand), they could be implemented manually
against a reference implementation.