CPA 2008: York, Yorkshire, UK
Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.): 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. IOS Press 2008 Concurrent Systems Engineering Series 66 ISBN 978-1-58603-907-3
Samson Abramsky: Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures. 1-13
Colin O'Halloran: How to Soar with CSP. 15
Bernard Sufrin: Communicating Scala Objects. 35-54
Martin Korsgaard, Sverre Hendseth: Combining EDF Scheduling with occam using the Toc Programming Language. 55-66
Neil C. C. Brown: Communicating Haskell Processes: Composable Explicit Concurrency using Monads. 67-83
Adam T. Sampson: Two-Way Protocols for occam-pi. 85-97
Ian R. East: Prioritized Service Architecture: Refinement and Visual Design. 99-113
Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill: Experiments in Translating CSP || B to Handel-C. 115-133
Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan F. Broenink: FPGA based Control of a Production Cell System. 135-148
Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo: Shared-Clock Methodology for Time-Triggered Multi-Cores. 149-162
Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen: Transfer Request Broker: Resolving Input-Output Choice. 163-177
Bahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol. 179-202
Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen: RRABP: Point-to-Point Communication over Unreliable Components. 203-217
Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen: IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks. 219-235
Jon M. Kerridge, Alex Panayotopoulos, Patrick Lismore: JCSPre: the Robot Edition to Control LEGO NXT Robots. 255-270





Jason Hurt, Jan Bækgaard Pedersen: Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. 381-396
Jon M. Kerridge, Jens-Oliver Haschke, Kevin Chalmers: Mobile Agents and Processes using Communicating Process Architectures. 397-410
Jonathan Tate, Iain Bate: YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. 411-430
Anna Kosek, Jon M. Kerridge, Aly A. Syed: Modelling a Multi-Core Media Processor Using JCSP. 431-443
Neil C. C. Brown: How to Make a Process Invisible. 445
Hans T. J. van der Steen, Marcel A. Groothuis, Jan F. Broenink: Designing Animation Facilities for gCSP. 447
Kevin Chalmers: Introducing JCSP Networking 2.0. 451
Eric Bonnici: Mobile Processes in an Ant Simulation. 453



