Paul Howells, Mark d'Inverno. Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). In Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson, editors, 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013. pages 157-184, Open Channel Publishing Ltd., 2013. [doi]
Abstract is missing.