Efficient Simulation of CSP−Like Languages - Gibson−Robinson, T (Communicating Process Architectures 2013, 2013)