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