Frederick R. M. Barnes. Mobile Escape Analysis for occam-pi. In Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter, editors, The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Volume 67 of Concurrent Systems Engineering Series, pages 117-134, IOS Press, 2009. [doi]
@inproceedings{Barnes09-2,
title = {Mobile Escape Analysis for occam-pi},
author = {Frederick R. M. Barnes},
year = {2009},
doi = {10.3233/978-1-60750-065-0-117},
url = {http://dx.doi.org/10.3233/978-1-60750-065-0-117},
researchr = {https://researchr.org/publication/Barnes09-2},
cites = {0},
citedby = {0},
pages = {117-134},
booktitle = {The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009},
editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter},
volume = {67},
series = {Concurrent Systems Engineering Series},
publisher = {IOS Press},
isbn = {978-1-60750-065-3},
}