This volume contains papers presented during the 31st Communicating Process Architectures Conference held in York, United Kingdom, in September 2008. A sampling of topics includes: a CSP model for mobile channels, communicating Scala objects, priorit...Loe edasi...
These proceedings of the September 2006 technical meeting reflect the contributors commitment to find simple ways to design, implement and reason about concurrent systems. The resulting papers include some very hot topics, including safe and effecti...Loe edasi...