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]
@inproceedings{Howellsd13a,
title = {Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)},
author = {Paul Howells and Mark d'Inverno},
year = {2013},
url = {http://wotug.org/paperdb/show_pap.php?f=1&num=686},
researchr = {https://researchr.org/publication/Howellsd13a},
cites = {0},
citedby = {0},
pages = {157-184},
booktitle = {35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013},
editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan Bækgaard Pedersen and Adam T. Sampson},
publisher = {Open Channel Publishing Ltd.},
isbn = {978-0-9565409-7-3},
}