The following is Valid µOCCAM. This illustrates the fact that a sequence followed by no processes is valid.
/public/cs3/web/ipptests-phase-1/valid-smallsequence.accept
SEQ