CPA 2011: Limerick, Ireland
Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (Eds.): 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. IOS Press 2011 Concurrent Systems Engineering Series 68 ISBN 978-1-60750-773-4- Gavin Lowe: Implementing Generalised Alt - A Case Study in Validated Design using CSP. 1-34
- Rune Møllegård Friborg, Brian Vinter: Verification of a Dynamic Channel Model using the SPIN Model Checker. 35-54
- Jan Bækgaard Pedersen, Matthew Sowders: Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. 71-85
- Douglas N. Warren: Prioritised Choice over Multiway Synchronisation. 87-110
- Alex Cole, Alistair McEwan, Satnam Singh: An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. 111-130
- Jon M. Kerridge: Experiments in Multicore and Distributed Parallel Processing using JCSP. 131-142
- Anna Kosek, Aly A. Syed, Jon M. Kerridge: Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems. 143-156
- Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink: LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. 157-175
- Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson: Concurrent Event-driven Programming in occam-π for the Arduino. 177-193
- James Hanlon, Simon J. Hollis: Fast Distributed Process Creation with the XMOS XS1 Architecture. 195-207
- James Whitehead II: Serving Web Content with Dynamic Process Networks in Go. 209-226
- Kevin Chalmers: Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. 227-242
- Carl G. Ritson, Paul S. Andrews, Adam T. Sampson: Object Store Based Simulation Interworking. 243-253
- Matthew M. Huntbach: A Model for Concurrency Using Single-Writer Single-Assignment Variables. 255-272
- Arash Saifhashemi, Peter A. Beerel: SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces. 287-302
- Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis: Process-Oriented Subsumption Architectures in Swarm Robotic Systems. 303-316
- Dan Slipper, Alistair A. McEwan: A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. 317-327
- Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud: The Flying Gator: Towards Aerial Robotics in occam-π. 329-340
- Yoshinao Isobe: CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. 341-362
- Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga: Development of an ML-based Verification Tool for Timed CSP Processes. 363-375
- Eric Bonnici, Peter H. Welch: Mobile Processes and Call Channels with Variant Interfaces (a Duality). 377
- Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown: Adding Formal Verification to occam-π. 379
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