Abstract is missing.
- Implementing Generalised Alt - A Case Study in Validated Design using CSPGavin Lowe. 1-34 [doi]
- Verification of a Dynamic Channel Model using the SPIN Model CheckerRune Møllegård Friborg, Brian Vinter. 35-54 [doi]
- Programming the CELL-BE using CSPKenneth Skovhede, Morten N. Larsen, Brian Vinter. 55-70 [doi]
- Static Scoping and Name Resolution for Mobile Processes with Polymorphic InterfacesJan Bækgaard Pedersen, Matthew Sowders. 71-85 [doi]
- Prioritised Choice over Multiway SynchronisationDouglas N. Warren. 87-110 [doi]
- An Analysis of Programmer Productivity versus Performance for High Level Data Parallel ProgrammingAlex Cole, Alistair McEwan, Satnam Singh. 111-130 [doi]
- Experiments in Multicore and Distributed Parallel Processing using JCSPJon M. Kerridge. 131-142 [doi]
- Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsAnna Kosek, Aly A. Syed, Jon M. Kerridge. 143-156 [doi]
- LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution FrameworkMaarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink. 157-175 [doi]
- Concurrent Event-driven Programming in occam-π for the ArduinoChristian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson. 177-193 [doi]
- Fast Distributed Process Creation with the XMOS XS1 ArchitectureJames Hanlon, Simon J. Hollis. 195-207 [doi]
- Serving Web Content with Dynamic Process Networks in GoJames Whitehead II. 209-226 [doi]
- Performance of the Distributed CPA Protocol and Architecture on Traditional NetworksKevin Chalmers. 227-242 [doi]
- Object Store Based Simulation InterworkingCarl G. Ritson, Paul S. Andrews, Adam T. Sampson. 243-253 [doi]
- A Model for Concurrency Using Single-Writer Single-Assignment VariablesMatthew M. Huntbach. 255-272 [doi]
- The Computation Time Process ModelMartin Korsgaard, Sverre Hendseth. 273-286 [doi]
- SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesArash Saifhashemi, Peter A. Beerel. 287-302 [doi]
- Process-Oriented Subsumption Architectures in Swarm Robotic SystemsJeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis. 303-316 [doi]
- A Systems Re-engineering Case Study: Programming Robots with occam and Handel-CDan Slipper, Alistair A. McEwan. 317-327 [doi]
- The Flying Gator: Towards Aerial Robotics in occam-πIan Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud. 329-340 [doi]
- CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic ComputationYoshinao Isobe. 341-362 [doi]
- Development of an ML-based Verification Tool for Timed CSP ProcessesTakeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga. 363-375 [doi]
- Mobile Processes and Call Channels with Variant Interfaces (a Duality)Eric Bonnici, Peter H. Welch. 377 [doi]
- Adding Formal Verification to occam-πPeter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown. 379 [doi]