3 ms·

I love this example. Working through this made me finally get started on reading Hoare's CSP book. Thanks!