Experiments in Translating CSP || B to Handel-C

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]

Authors

Steve Schneider

This author has not been identified. Look up 'Steve Schneider' in Google

Helen Treharne

This author has not been identified. Look up 'Helen Treharne' in Google

Alistair McEwan

This author has not been identified. Look up 'Alistair McEwan' in Google

Wilson Ifill

This author has not been identified. Look up 'Wilson Ifill' in Google