State machines

Process skeletons
PC-lint argues over SPoC state machines

Occam's

• PAR handling
• ALT processing
• CHANnel communications
• TIMER implementations

..all process descheduling candidates

..are implemented as C source state machines

They work fine, but PC-lint complains..