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. IOS Press 2009 Concurrent Systems Engineering Series 67 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
- 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
- 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
- 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
- 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
- Marcel A. Groothuis, Jan F. Broenink: HW/SW Design Space Exploration on the Production Cell Setup. 387-402
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