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]
No references recorded for this publication.
No citations of this publication recorded.