Proceedings details

• Beyond Mobility - What Next After CSP/pi?  Michael Goldsmith, 6 pages [PDF]
• The SCOOP Concurrency Model in Java-like Languages  Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik, 21 pages [PDF]
• Combining Partial Order Reduction with Bounded Model Checking  José Vander Meulen, Charles Pecheur, 20 pages [PDF]
• On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication  Masaki Murakami, 18 pages [PDF]
• Analysing gCSP Models Using Runtime and Model Analysis Algorithms  Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink, 22 pages [PDF]
• Relating and Visualising CSP, VCR and Structural Traces  Neil C.C. Brown, Marc L. Smith, 15 pages [PDF]
• Designing a Mathematically Verified I2C Device Driver using ASD  Arjen Klomp, Herman Roebbers, Ruud Derwig, Leon Bouwmeester, 12 pages [PDF]
• Mobile Escape Analysis for occam-pi  Frederick R. M. Barnes, 18 pages [PDF]
• New ALT for Application Timers and Synchronisation Point Scheduling  Øyvind Teig, Per Johan Vannebo, 10 pages [PDF]
• Translating ETC to LLVM Assembly  Carl G. Ritson, 14 pages [PDF]
• Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM  Jan Bækgaard Pedersen, Brian Kauke, 14 pages [PDF]
• OpenComRTOS: A Runtime Environment for Interacting Entities  Bernhard H.C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev, 12 pages [PDF]
• Economics of Cloud Computing: a Statistical Genetics Case Study  Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston, 11 pages [PDF]
• An Application of CoSMoS Design Methods to Pedestrian Simulation  Sarah Clayton, Neil Urquhart, Jon Kerridge, 8 pages [PDF]
• An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures  Kevin Chalmers, Jon Kerridge, 19 pages [PDF]
• Auto-Mobiles: Optimised Message-Passing  Neil C.C. Brown, 14 pages [PDF]
• A Denotational Study of Mobility  Joël-Alexis Bialkiewicz, Frederic Peschanski, 23 pages [PDF]
• PyCSP Revisited  Brian Vinter, John Markus Bjørndalen, Rune Møllegard Friborg, 14 pages [PDF]
• Three Unique Implementations of Processes for PyCSP  Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter, 16 pages [PDF]
• CSP as a Domain-Specific Language Embedded in Python and Jython  Sarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert Newman, 17 pages [PDF]
• Hydra: A Python Framework for Parallel Computing  Waide B. Tristram, Karen Bradshaw, 14 pages [PDF]
• Extending CSP with Tests for Availability  Gavin Lowe, 23 pages [PDF]
• Design Patterns for Communicating Systems with Deadline Propagation  Martin Korsgaard, Sverre Hendseth, 13 pages [PDF]
• JCSP Agents-Based Service Discovery for Pervasive Computing  Anna Kosek, Jon Kerridge, Aly Syed, Alistair Armitage, 11 pages [PDF]
• Toward Process Architectures for Behavioural Robotics  Jonathan Simpson, Carl G. Ritson, 12 pages [PDF]
• HW/SW Design Space Exploration on the Production Cell Setup  Marcel A. Groothuis, Jan F. Broenink, 16 pages [PDF]
• Engineering Emergence: an occam-pi Adventure Peter H. Welch, Kurt Wallnau, Mark Klein, 1 page [PDF]
• CPA Survival Guide  Herman Roebbers
• An Overview of ASD - Formal Methods in Daily Use  Guy Broadfoot
• occam on the Arduino  Adam T. Sampson, Matthew C. Jadud, Christian L. Jacobsen
• Use of Formal Models in Model-driven Design of Embedded software  Oguzcan Oguz, Jan F. Broenink
• Concurrency First (but we'd better get it right!) Peter H. Welch
• Clocks  Adam T. Sampson, Neil C.C. Brown
• Traces for Testing  Neil C.C. Brown
• A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems  Irfan Mir
• Systems Modelling and Integration  Dan Slipper
• Hardware/Software Co-Design Language Development, An EngD Introduction  Alex Cole
• Robust Robot Software using Process Orientation  Cagri Yalcin, Jan F. Broenink