Gavin Lowe. Implementing Generalised Alt - A Case Study in Validated Design using CSP. In Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes, editors, 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Volume 68 of Concurrent Systems Engineering Series, pages 1-34, IOS Press, 2011. [doi]
@inproceedings{Lowe11-0,
title = {Implementing Generalised Alt - A Case Study in Validated Design using CSP},
author = {Gavin Lowe},
year = {2011},
doi = {10.3233/978-1-60750-774-1-1},
url = {http://dx.doi.org/10.3233/978-1-60750-774-1-1},
researchr = {https://researchr.org/publication/Lowe11-0},
cites = {0},
citedby = {0},
pages = {1-34},
booktitle = {33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011},
editor = {Peter H. Welch and Adam T. Sampson and Jan Bækgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes},
volume = {68},
series = {Concurrent Systems Engineering Series},
publisher = {IOS Press},
isbn = {978-1-60750-773-4},
}