Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes (Eds.):
The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006.
Concurrent Systems Engineering Series 64 IOS Press 2006, ISBN 978-1-58603-671-3
Edinburgh, Scottland, UK
Hans Henrik Happe
: TCP Input Threading in High Performance Distributed Systems.
: Rain: A New Concurrent Process-Oriented Programming Language.
: Rain VM: Portable Concurrency through Managing Code.
Gerald H. Hilderink
: Software Specification Refinement and Verification Method with I-Mathic Studio.
: No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple).
Alistair A. McEwan
: A Circus Development and Verification of an Internet Packet Filter.
Peter H. Welch
: A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk).