3 ms·

Did you use the pi calculus derived parts of the language at all? I only ever stuck to the classic CSP occam 2.