Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill. Experiments in Translating CSP || B to Handel-C. In Peter H. Welch, Susan Stepney, Fiona A. C. Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson, editors, The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Volume 66 of Concurrent Systems Engineering Series, pages 115-133, IOS Press, 2008. [doi]
@inproceedings{SchneiderTMI08,
title = {Experiments in Translating CSP || B to Handel-C},
author = {Steve Schneider and Helen Treharne and Alistair McEwan and Wilson Ifill},
year = {2008},
doi = {10.3233/978-1-58603-907-3-115},
url = {http://dx.doi.org/10.3233/978-1-58603-907-3-115},
tags = {translation, C++},
researchr = {https://researchr.org/publication/SchneiderTMI08},
cites = {0},
citedby = {0},
pages = {115-133},
booktitle = {The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008},
editor = {Peter H. Welch and Susan Stepney and Fiona A. C. Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson},
volume = {66},
series = {Concurrent Systems Engineering Series},
publisher = {IOS Press},
isbn = {978-1-58603-907-3},
}