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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team