Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures

Samson Abramsky. Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures. 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 1-13, IOS Press, 2008. [doi]

Abstract

Abstract is missing.