Proceedings details

• Implementing Generalised Alt  Gavin Lowe, 34 pages [PDF]
• Adding Formal Verification to occam-π Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes, Carl G. Ritson, Neil C.C. Brown, 1 page [PDF]
• Verification of a Dynamic Channel Model using the SPIN Model-Checker  Rune Møllegard Friborg, Brian Vinter, 20 pages [PDF]
• Programming the CELL-BE using CSP  Kenneth Skovhede, Morten N. Larsen, Brian Vinter, 16 pages [PDF]
• Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces  Jan Bækgaard Pedersen, Matthew Sowders, 15 pages [PDF]
• Prioritised Choice over Multiway Synchronisation  Douglas N. Warren, 24 pages [PDF]
• A Comparison Of Data-Parallel Programming Systems With Accelerator  Alex Cole, Alistair A. McEwan, Satnam Singh, 20 pages [PDF]
• Experiments in Multicore and Distributed Parallel Processing using JCSP  Jon Kerridge, 12 pages [PDF]
• Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP  Anna Kosek, Aly Syed, Jon Kerridge, 14 pages [PDF]
• LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework  Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink, 19 pages [PDF]
• Concurrent Event-driven Programming in occam-π for the Arduino  Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson, 17 pages [PDF]
• Fast Distributed Process Creation with the XMOS XS1 Architecture  James Hanlon, Simon J. Hollis, 13 pages [PDF]
• Serving Web Content with Dynamic Process Networks in Go  James Whitehead, 18 pages [PDF]
• Performance of the Distributed CPA Protocol and Architecture on Traditional Networks  Kevin Chalmers, 16 pages [PDF]
• Object Store Based Simulation Interworking  Carl G. Ritson, Paul S. Andrews, Adam T. Sampson, 11 pages [PDF]
• A Model for Concurrency Using Single-Writer Single-Assignment Variables  Matthew Huntbach, 18 pages [PDF]
• The Computation Time Process Model  Martin Korsgaard, Sverre Hendseth, 14 pages [PDF]
• SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces  Arash Saifhashemi, Peter A. Beerel, 16 pages [PDF]
• Process-Oriented Subsumption Architectures in Swarm Robotic Systems  Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis, 14 pages [PDF]
• A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C  Dan Slipper, Alistair A. McEwan, 11 pages [PDF]
• The Flying Gator: Towards Aerial Robotics in occam-π  Ian Armstrong, Michael Pirrone-Brusse, A Smith, Matthew C. Jadud, 12 pages [PDF]
• CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation  Yoshinao Isobe, 22 pages [PDF]
• Development of an ML based Verification Tool for Timed CSP Processes  Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga, 13 pages [PDF]
• Mobile Processes and Call Channels with Variant Interfaces (a Duality)  Eric Bonnici, Peter H. Welch, 1 page [PDF]
• This is a Parallel Parrot  Adam T. Sampson
• Parallel Usage Checking - an Observation  Barry M. Cook
• Exploring Peer-to-Peer Virtualized Multithreaded Services  Kevin Vella
• Formal Analysis of Concurrent OS (RMoX) Device Drivers  Martin Ellis
• Guppy  Frederick R. M. Barnes
• Distributing Concurrent Simulation  Adam T. Sampson
• Demonstration of the LUNA Framework  Robert J.W. Wilterdink, Maarten M. Bezemer, Jan F. Broenink