CPA 2009:
Eindhoven, The Netherlands
Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter (Eds.):
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009.
Concurrent Systems Engineering Series 67 IOS Press 2009, ISBN 978-1-60750-065-3 
- Michael Goldsmith:
Beyond Mobility : What Next After CSP/pi?
1-6
- Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik:
The SCOOP Concurrency Model in Java-like Languages.
7-27
- José Vander Meulen, Charles Pecheur:
Combining Partial Order Reduction with Bounded Model Checking.
29-48
- Masaki Murakami:
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.
49-66
- Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink:
Analysing gCSP Models Using Runtime and Model Analysis Algorithms.
67-88
- Neil C. C. Brown, Marc L. Smith:
Relating and Visualising CSP, VCR and Structural Traces.
89-103
- Arjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester:
Designing a Mathematically Verified I2C Device Driver Using ASD.
105-116
- Frederick R. M. Barnes:
Mobile Escape Analysis for occam-pi.
117-134
- Øyvind Teig, Per Johan Vannebo:
New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler).
135-144
- Carl G. Ritson:
Translating ETC to LLVM Assembly.
145-158
- Jan Bækgaard Pedersen, Brian Kauke:
Resumable Java Bytecode - Process Mobility for the JVM.
159-172
- Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev:
OpenComRTOS: A Runtime Environment for Interacting Entities.
173-184
- Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston:
Economics of Cloud Computing: a Statistical Genetics Case Study.
185-195
- Sarah Clayton, Neil Urquhart, Jon M. Kerridge:
An Application of CoSMoS Design Methods to Pedestrian Simulation.
197-204
- Kevin Chalmers, Jon M. Kerridge:
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures.
205-223
- Neil C. C. Brown:
Auto-Mobiles: Optimised Message-Passing.
225-238
- Joël-Alexis Bialkiewicz, Frédéric Peschanski:
A Denotational Study of Mobility.
239-261
- Brian Vinter, John Markus Bjørndalen, Rune Møllegård Friborg:
PyCSP Revisited.
263-276
- Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter:
Three Unique Implementations of Processes for PyCSP.
277-292
- Sarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert M. Newman:
CSP as a Domain-Specific Language Embedded in Python and Jython.
293-309
- Waide B. Tristram, Karen L. Bradshaw:
Hydra: A Python Framework for Parallel Computing.
311-324
- Gavin Lowe:
Extending CSP with Tests for Availability.
325-347
- Martin Korsgaard, Sverre Hendseth:
Design Patterns for Communicating Systems with Deadline Propagation.
349-361
- Anna Kosek, Jon M. Kerridge, Aly A. Syed, Alistair Armitage:
JCSP Agents-Based Service Discovery for Pervasive Computing.
363-373
- Jonathan Simpson, Carl G. Ritson:
Toward Process Architectures for Behavioural Robotics.
375-386
- Marcel A. Groothuis, Jan F. Broenink:
HW/SW Design Space Exploration on the Production Cell Setup.
387-402
- Peter H. Welch, Kurt C. Wallnau, Mark Klein:
Engineering Emergence: an occam-pi Adventure.
403
Last update Tue May 21 02:44:33 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
