default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCPA 2011: Limerick, Ireland
- Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes:
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Concurrent Systems Engineering Series 68, IOS Press 2011, ISBN 978-1-60750-773-4 - Gavin Lowe:
Implementing Generalised Alt - A Case Study in Validated Design using CSP. 1-34 - Rune Møllegaard Friborg, Brian Vinter:
Verification of a Dynamic Channel Model using the SPIN Model Checker. 35-54 - Kenneth Skovhede, Morten N. Larsen, Brian Vinter:
Programming the CELL-BE using CSP. 55-70 - 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 A. 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 Magdalena 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 W. 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 - Martin Korsgaard, Sverre Hendseth:
The Computation Time Process Model. 273-286 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-15 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
