Hoare's CSP port to PHP