Browse all the Authors

   A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  
  A  
  Patrick Abela
      - Transactional CSP Processes (2007, Fringe Presentation)
  Samson Abramsky
      - Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures (2008, Keynote Presentation)
  Sarwar Alam
      - A Service-oriented Scalable Dictionary in MPI (2014, Paper)
      - Service Oriented Programming in MPI (2013, Paper)
  Raul N. N. Alborodo
      - A Model-driven Methodology for Generating and Verifying CSP-based Java Code (2015, Paper)
  Alastair Allen
      - RRABP: Point-to-Point Communication over Unreliable Components (2008, Paper)
      - IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks (2008, Paper)
      - Transfer Request Broker: Resolving Input-Output Choice (2008, Paper)
      - A Versatile Hardware-Software Platform for In-Situ Monitoring Systems (2007, Paper)
      - Portable CSP Based Design for Embedded Multi-Core Systems (2006, Paper)
      - A Study of Percolation Phenomena in Process Networks (2006, Paper)
      - Interacting Components (2006, Paper)
  Andres Amaya-Garcia
      - OpenTransputer: Reinventing a Parallel Machine from the Past (2015, Paper)
  Paul S. Andrews
      - Object Store Based Simulation Interworking (2011, Paper)
  Otto J. Anshus
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
      - PyCSP - Communicating Sequential Processes for Python (2007, Paper)
      - aPyCSP - Asynchronous PyCSP Using Python Coroutines and asyncio (2018, Paper)
      - CSP at the Cyber-Physical Edge (2018, Paper)
  Alistair Armitage
      - JCSP Agents-Based Service Discovery for Pervasive Computing (2009, Paper)
  Ian Armstrong
      - The Flying Gator: Towards Aerial Robotics in occam-π (2011, Fringe Presentation)
  Truls Asheim
      - VHDL Generation From Python Synchronous Message Exchange Networks (2016, Paper)
      - SMEIL: A Domain-Specific Language for Synchronous Message Exchange Networks (2018, Paper)
  Keith F. Athaide
      - Shared-Clock Methodology for Time-Triggered Multi-Cores (2008, Paper)
  James Avery
      - Lossy Channels in Bohrium (2018, Paper)
  Devaraj Ayavoo
      - Shared-Clock Methodology for Time-Triggered Multi-Cores (2008, Paper)
  Gabriella Azzopardi
      - Distributing CSP Process Networks over MPI Clusters (2017, Paper)
  B  
  Silviu-Alin Bacanu
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
  Bahareh Badban
      - Mechanical Verification of a Two-Way Sliding Window Protocol (2008, Paper)
  Jonas Bardino
      - Event-driven, Collaborative and Adaptive Scientific Workflows on the Grid (2017, Paper)
  Frederick R. M. Barnes
      - Unifying Concurrent Programming and Formal Verification within One Language (2017, Paper)
      - Guppy: Process-Oriented Programming on Embedded Devices (2015, Paper)
      - Data Escape Analysis for Process Oriented Systems (2012, Fringe Presentation)
      - Mutually Assured Destruction (or the Joy of Sync) (2013, Fringe Presentation)
      - The Guppy Language: an Update (2013, Fringe Presentation)
      - Exploring GPGPU Acceleration of Process-Oriented Simulations (2013, Paper)
      - An Evaluation of Intel's Restricted Transactional Memory for CPAs (2013, Paper)
      - Adding Formal Verification to occam-π (2011, Endnote Presentation)
      - Guppy (2011, Fringe Presentation)
      - Mobile Escape Analysis for occam-pi (2009, Paper)
      - A CSP Model for Mobile Channels (2008, Paper)
      - Towards Guaranteeing Process Oriented Program Behaviour (2008, Fringe Presentation)
      - A Process Oriented Approach to USB Driver Development (2007, Paper)
      - Video Processing in occam-pi. (2006, Paper)
      - Compiling CSP (2006, Paper)
  Steven J. Barrett
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
  S. L. M. Barrocas
      - JCircus 2.0: an Extension of an Automatic Translator from Circus to Java (2012, Paper)
      - JCircus Demo (2012, Fringe Presentation)
  Andrew Bate
      - A Debugger for Communicating Scala Objects (2012, Paper)
      - Scalable Performance for Scala Message Passing Concurrency (2013, Paper)
  Iain Bate
      - YASS: a Scalable Sensornet Simulator for Large Scale Experimentation (2008, Paper)
  Peter A. Beerel
      - SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces (2011, Paper)
  Rick Beton
      - An Introduction to Go (2013, Fringe Presentation)
  Maarten M. Bezemer
      - Model-Driven Design of Simulation Support for the TERRA Robot Software Tool Suite (2015, Paper)
      - Hardware Ports - Getting Rid of Sandboxed Modelled Software (2014, Paper)
      - Design and Use of CSP Meta-Model for Embedded Control Software Development (2012, Paper)
      - Developing JIWY using TERRA (2012, Fringe Presentation)
      - LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework (2011, Paper)
      - Demonstration of the LUNA Framework (2011, Fringe Presentation)
      - Analysing gCSP Models Using Runtime and Model Analysis Algorithms (2009, Paper)
  Joél-Alexis Bialkiewicz
      - A Denotational Study of Mobility (2009, Paper)
  John Markus Bjørndalen
      - DOMASCOS – DOMAin Specific COncurrency Skeleton (2017, Workshop)
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
      - Scaling PyCSP (2013, Paper)
      - PyCSP Revisited (2009, Paper)
      - Three Unique Implementations of Processes for PyCSP (2009, Paper)
      - Process-Oriented Collective Operations (2008, Paper)
      - PyCSP - Communicating Sequential Processes for Python (2007, Paper)
      - aPyCSP - Asynchronous PyCSP Using Python Coroutines and asyncio (2018, Paper)
      - CSP at the Cyber-Physical Edge (2018, Paper)
  Troels Blum
      - Code Specialisation of Auto-Generated GPU Kernels (2015, Paper)
  Peter Boggis
      - Use Case Driven Microservices Architecture Design (2018, Paper)
  Eric Bonnici
      - Mobile Processes and Call Channels with Variant Interfaces (a Duality) (2011, Fringe Presentation)
      - Mobile Processes in an Ant Simulation (2008, Fringe Presentation)
  Antoon H. Boode
      - Asynchronous Readers and Asynchronous Writers (2017, Paper)
      - Asynchronous Readers and Writers (2016, Paper)
      - Performance of Periodic Real-time Processes: a Vertex-Removing Synchronised Graph Product (2014, Paper)
      - Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach (2013, Paper)
      - A Majority Vote, Modelled by Asynchronous Readers and Asynchronous Writers (2018, Paper)
  Guy Boradfoot
      - An Overview of ASD - Formal Methods in Daily Use (2009, Fringe Presentation)
  Leon Bouwmeester
      - Designing a Mathematically Verified I2C Device Driver using ASD (2009, Paper)
  Karen Bradshaw
      - Hydra: A Python Framework for Parallel Computing (2009, Paper)
      - Deriving Reusable Go Components From Verified CSP Prototypes (2018, Paper)
  Jan F. Broenink
      - Asynchronous Readers and Asynchronous Writers (2017, Paper)
      - Co-simulation Design towards Cyber-Physical Robotic Applications -- Leveraging FMI Standard and CSP Semantics (2017, Paper)
      - DOMASCOS – DOMAin Specific COncurrency Skeleton (2017, Workshop)
      - Asynchronous Readers and Writers (2016, Paper)
      - Connecting Two Robot-Software Communicating Architectures: ROS and LUNA (2016, Paper)
      - Simulation and Visualisation Tool Design for Robot Software (2016, Paper)
      - Mapping CSP Models for Embedded Control Software to Hardware Using CλaSH (2016, Paper)
      - Model-Driven Design of Simulation Support for the TERRA Robot Software Tool Suite (2015, Paper)
      - Hardware Ports - Getting Rid of Sandboxed Modelled Software (2014, Paper)
      - Performance of Periodic Real-time Processes: a Vertex-Removing Synchronised Graph Product (2014, Paper)
      - Communicating Process Architectures - by Example (2014, Workshop)
      - Schedulability Analysis of Timed CSP Models Using the PAT Model Checker (2012, Paper)
      - Design and Use of CSP Meta-Model for Embedded Control Software Development (2012, Paper)
      - Developing JIWY using TERRA (2012, Fringe Presentation)
      - Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach (2013, Paper)
      - LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework (2011, Paper)
      - Demonstration of the LUNA Framework (2011, Fringe Presentation)
      - Analysing gCSP Models Using Runtime and Model Analysis Algorithms (2009, Paper)
      - HW/SW Design Space Exploration on the Production Cell Setup (2009, Paper)
      - Use of Formal Models in Model-driven Design of Embedded software (2009, Fringe Presentation)
      - Robust Robot Software using Process Orientation (2009, Fringe Presentation)
      - FPGA Based Control of a Production Cell System (2008, Paper)
      - Designing Animation Facilities for gCSP (2008, Fringe Presentation)
      - CSP and Real-Time: Reality or Illusion? (2007, Paper)
      - Design Principles of the SystemCSP Software Framework (2007, Paper)
      - SystemCSP - Visual Notation (2006, Paper)
      - A Majority Vote, Modelled by Asynchronous Readers and Asynchronous Writers (2018, Paper)
  Hajo J. Broersma
      - Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach (2013, Paper)
  Phil J. Brooke
      - Lazy Exploration and Checking of CSP Models with CSPsim (2007, Paper)
  Andrew Brown
      - Discrete Event-based Neural Simulation using the SpiNNaker System (2015, Paper)
  Neil C. C. Brown
      - Unifying Concurrent Programming and Formal Verification within One Language (2017, Paper)
      - Adding Formal Verification to occam-π (2011, Endnote Presentation)
      - Relating and Visualising CSP, VCR and Structural Traces (2009, Paper)
      - Auto-Mobiles: Optimised Message-Passing (2009, Paper)
      - Clocks (2009, Fringe Presentation)
      - Traces for Testing (2009, Fringe Presentation)
      - Communicating Haskell Processes: Composable Explicit Concurrency using Monads (2008, Paper)
      - How to Make a Process Invisible (2008, Fringe Presentation)
      - Tock: One Year On (2008, Fringe Presentation)
      - C++CSP2: A Many-to-Many Threading Model for Multicore Architectures (2007, Paper)
      - Integrating and Extending JCSP (2007, Paper)
      - Rain: A New Concurrent Process-Oriented Programming Language (2006, Paper)
      - Rain VM: Portable Concurrency through Managing Code (2006, Paper)
  Tore Brox-Larsen
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Michael Bruestle
      - T42 – Transputer Design in FPGA (Year Three Design Status Report) (2017, Fringe Presentation)
      - T42 Transputer Design in FPGA (Year Two Design Status Report) (2016, Fringe Presentation)
      - T42 – Transputer Design in FPGA (2014, Fringe Presentation)
      - T42 - Transputer in FPGA (2018, Paper)
  Jeremy Bryans
      - The COMPASS Modelling Language: Timed Semantics in UTP  (2014, Keynote Presentation)
  Mark Burgin
      - Algebras of Actions in Concurrent Processes (2007, Fringe Presentation)
      - Compositions of Concurrent Processes (2006, Paper)
  C  
  Samuel Canham
      - The COMPASS Modelling Language: Timed Semantics in UTP  (2014, Keynote Presentation)
  Gail Cassar
      - Transactional CSP Processes (2007, Fringe Presentation)
  Kevin Chalmers
      - Building a C++CSP Channel Using C++ Atomics: a Busy Channel Performance Analysis (2017, Paper)
      - Working Concurrently: Applying Ideas from Concurrency to a Working Life (2017, Fringe Presentation)
      - Building a Hand-held Cluster for £120 (2017, Fringe Presentation)
      - What are Communicating Process Architectures? Towards a Framework for Evaluating Message-passing Concurrency Languages (2017, Paper)
      - DOMASCOS – DOMAin Specific COncurrency Skeleton (2017, Workshop)
      - Communicating Connected Components: Extending Plug and Play to Support Skeletons (2016, Paper)
      - Development and Evaluation of a Modern C++CSP Library (2016, Paper)
      - Communicating Process Architectures in the Light of Parallel Design Patterns and Skeletons (2015, Paper)
      - C++11 CSP (2015, Fringe Presentation)
      - Message-Passing Concurrency Shootout (2015, Workshop)
      - A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance (2012, Paper)
      - Verifying the CPA Networking Stack using SPIN/Promela (2013, Paper)
      - Performance of the Distributed CPA Protocol and Architecture on Traditional Networks (2011, Paper)
      - An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures (2009, Paper)
      - A Critique of JCSP Networking (2008, Paper)
      - Mobile Agents and Processes using Communicating Process Architectures (2008, Paper)
      - Introducing JCSP Networking 2.0 (2008, Fringe Presentation)
      - Integrating and Extending JCSP (2007, Paper)
      - Mobility in JCSP: New Mobile Channel and Mobile Process Models (2007, Paper)
      - Compositions of Concurrent Processes (2006, Paper)
      - Performance Evaluation of JCSP Micro Edition: JCSPme (2006, Paper)
      - Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View (2006, Paper)
      - A Transparent Thread and Fiber Framework in C++CSP (2018, Paper)
  Marsha Chechik
      - The SCOOP Concurrency Model in Java-like Languages (2009, Paper)
  Sarah Clayton
      - An Application of CoSMoS Design Methods to Pedestrian Simulation (2009, Paper)
      - CSP for .NET Based on JCSP (2006, Paper)
  Loek Cleophas
      - Process-Based Aho-Corasick Failure Function Construction (2015, Paper)
  Alex Cole
      - Beauty And The Beast: Exploiting GPUs In Haskell (2012, Paper)
      - Handel-C++ - Adding Syntactic Support to C++  (2012, Fringe Presentation)
      - A Comparison Of Data-Parallel Programming Systems With Accelerator (2011, Paper)
      - Hardware/Software Co-Design Language Development, An EngD Introduction (2009, Fringe Presentation)
  Barry Cook
      - CSP In Orbit - a Recent Satellite Application (2014, Fringe Presentation)
      - Communicating Process Architectures: a Personal View of the Past, Present and Future (2014, Workshop)
      - Parallel Usage Checking - an Observation (2011, Fringe Presentation)
      - SpaceWire - DS-Links Reborn (2006, Paper)
  Barry M. Cook
      - OLL Compiler Project (2015, Fringe Presentation)
  D  
  Mark d'Inverno
      - Successful Termination in Timed CSP (2013, Paper)
      - Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)  (2013, Paper)
  Ruud Derwig
      - Designing a Mathematically Verified I2C Device Driver using ASD (2009, Paper)
  James Dibley
      - Deriving Reusable Go Components From Verified CSP Prototypes (2018, Paper)
      - Workshop on Translating CSP-Based Languages to Common Programming Languages (2018, Workshop)
  Lawrence J. Dickson
      - Rigorous Timing, Static OCCAM, and Classic CSP: Formal Verification for the Internet of Things (2017, Fringe Presentation)
      - Rigorous Timing, Static OCCAM, and Classic CSP: Mathematical Ground Truth (2017, Fringe Presentation)
      - A Concurrent Data Collection Environment for WAsteful COMmunication SAtellite System (2017, Paper)
      - Implementing a Transputer for FPGA in Less Than 800 Lines of Code (2018, Paper)
      - Workshop on Translating CSP-Based Languages to Common Programming Languages (2018, Workshop)
  Damian J. Dimmich
      - Using occam-pi Primitives with the Cell Broadband Engine (2007, Fringe Presentation)
      - A Cell Transterpreter (2006, Paper)
      - Native Code Generation using the Transterpreter (2006, Paper)
  Ali Dixon
      - Designing with Software Defined Silicon (2008, Fringe Presentation)
  Andrew Duller
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Dale Dunlap
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
  E  
  Ian East
      - The Need for Prioritised Alternation in a Programming Language (2014, Fringe Presentation)
      - A CPA Series (2012, Fringe Presentation)
      - Prioritized Service Architecture: Refinement and Visual Design (2008, Paper)
      - Concurrent/Reactive System Design with Honeysuckle (2007, Paper)
  Martin Ellis
      - Data Escape Analysis for Process Oriented Systems (2012, Fringe Presentation)
      - Formal Analysis of Concurrent OS (RMoX) Device Drivers (2011, Fringe Presentation)
  Neil Evans
      - Towards the Formal Verification of a Java Processor in Event-B (2007, Paper)
  Matthew Ewer
      - Java, JCSP and Crew (The Strange Case of the Spurious Spurious) (2018, Fringe Presentation)
  F  
  Oliver Faust
      - OpenComRTOS: A Runtime Environment for Interacting Entities (2009, Paper)
      - RRABP: Point-to-Point Communication over Unreliable Components (2008, Paper)
      - IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks (2008, Paper)
      - Transfer Request Broker: Resolving Input-Output Choice (2008, Paper)
      - A Versatile Hardware-Software Platform for In-Situ Monitoring Systems (2007, Paper)
      - Portable CSP Based Design for Embedded Multi-Core Systems (2006, Paper)
      - A Study of Percolation Phenomena in Process Networks (2006, Paper)
  Wan Fokkink
      - Mechanical Verification of a Two-Way Sliding Window Protocol (2008, Paper)
  Simon Foster
      - The COMPASS Modelling Language: Timed Semantics in UTP  (2014, Keynote Presentation)
  Rune Møllegaaard Friborg
      - PyCSP Revisited (2009, Paper)
      - Three Unique Implementations of Processes for PyCSP (2009, Paper)
      - CSPBuilder – CSP Based Scientific Workflow Modeling (2008, Paper)
  Rune Møllegaard Friborg
      - Scaling PyCSP (2013, Paper)
      - Verification of a Dynamic Channel Model using the SPIN Model-Checker (2011, Paper)
  Chikar Fukunaga
      - Development of an ML based Verification Tool for Timed CSP Processes (2011, Paper)
  Steve Furber
      - Discrete Event-based Neural Simulation using the SpiNNaker System (2015, Paper)
  G  
  William B. Gardner
      - Adding CSPm Functions and Data Types to CSP++ (2015, Paper)
      - Supporting Timed CSP Operators in CSP++ (2012, Paper)
  Daniel Garner
      - Adding CSPm Functions and Data Types to CSP++ (2015, Paper)
  Oliver Gehrke
      - A Distributed Multi-Agent Control System for Power Consumption in Buildings (2012, Paper)
  Thomas Gibson-Robinson
      - FDR into The Cloud  (2014, Paper)
      - FDR3: the Future of CSP Model Checking (2013, Fringe Presentation)
      - The Meaning and Implementation of SKIP in CSP (2013, Paper)
      - Using FDR to Model Check CSP-Like Languages (2013, Fringe Presentation)
      - Efficient Simulation of CSP-Like Languages (2013, Paper)
  Michael E. Goldsby
      - A Super-Simple Run-Time for CSP-Based Concurrent Systems (2015, Paper)
  Michael Goldsmith
      - The Meaning and Implementation of SKIP in CSP (2013, Paper)
      - Beyond Mobility - What Next After CSP/pi? (2009, Keynote Presentation)
  Neil Grant
      - Towards the Formal Verification of a Java Processor in Event-B (2007, Paper)
  Alan Gray
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Marcel A. Groothuis
      - Analysing gCSP Models Using Runtime and Model Analysis Algorithms (2009, Paper)
      - HW/SW Design Space Exploration on the Production Cell Setup (2009, Paper)
      - FPGA Based Control of a Production Cell System (2008, Paper)
      - Designing Animation Facilities for gCSP (2008, Fringe Presentation)
  Damas Gruska
      - Formal Analysis of Video Encoding Application within Map/Reduce (2017, Paper)
  H  
  Phuong Hoai Ha
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Mohammad Hammoudeh
      - CSP as a Domain-Specific Language Embedded in Python and Jython (2009, Paper)
  James Hanlon
      - Fast Distributed Process Creation with the XMOS XS1 Architecture (2011, Paper)
  Hans H. Happe
      - TCP Input Threading in High Performance Distributed Systems (2006, Paper)
  Jens-Oliver Haschke
      - Mobile Agents and Processes using Communicating Process Architectures (2008, Paper)
  Sverre Hendseth
      - The Computation Time Process Model (2011, Paper)
      - Design Patterns for Communicating Systems with Deadline Propagation (2009, Paper)
      - Combining EDF Scheduling with occam using the Toc Programming Language (2008, Paper)
  Gerald H. Hilderink
      - Software Specification Refinement and Verification Method with I-Mathic Studio (2006, Paper)
  Tony C.A.R. Hoare
      - Fine-grain concurrency (2007, Keynote Presentation)
  Simon J. Hollis
      - Fast Distributed Process Creation with the XMOS XS1 Architecture (2011, Paper)
  Alexander Horsch
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Paul Howells
      - Successful Termination in Timed CSP (2013, Paper)
      - Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)  (2013, Paper)
  Matthew Huntbach
      - Lambda Calculus in Core Aldwych (2015, Paper)
      - A Model for Concurrency Using Single-Writer Single-Assignment Variables (2011, Paper)
      - The Core Language of Aldwych (2007, Paper)
  Jason L. Hurt
      - Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques (2008, Paper)
  I  
  Wilson Ifill
      - Experiments in Translating CSP || B to Handel-C (2008, Paper)
      - A Step Towards Refining and Translating B Control Annotations to Handel-C (2007, Paper)
  Jamie Iles
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Rolf Anker Ims
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Yoshinao Isobe
      - CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation (2011, Paper)
  Ruth Ivimey-Cook
      - A Personal Perspective on The State of Parallel Processing on the Transputer's 30th Anniversary (2014, Fringe Presentation)
      - CSP mechanisms for the Qt Framework (2014, Workshop)
  J  
  Christian L. Jacobsen
      - Concurrent Event-driven Programming in occam-π for the Arduino (2011, Paper)
      - occam on the Arduino (2009, Fringe Presentation)
      - Visual Process-Oriented Programming for Robotics (2008, Paper)
      - A Native Transterpreter for the LEGO Mindstorms RCX (2007, Paper)
      - Mobile Robot Control: The Subsumption Architecture and occam-pi (2006, Paper)
      - A Cell Transterpreter (2006, Paper)
      - Native Code Generation using the Transterpreter (2006, Paper)
  Matthew C. Jadud
      - The Flying Gator: Towards Aerial Robotics in occam-π (2011, Fringe Presentation)
      - Concurrent Event-driven Programming in occam-π for the Arduino (2011, Paper)
      - occam on the Arduino (2009, Fringe Presentation)
      - A Native Transterpreter for the LEGO Mindstorms RCX (2007, Paper)
      - Mobile Robot Control: The Subsumption Architecture and occam-pi (2006, Paper)
      - A Cell Transterpreter (2006, Paper)
      - Native Code Generation using the Transterpreter (2006, Paper)
  Klaus Birkelund Jensen
      - Concurrent Composition of I/O Redundancy Behaviors in Go (2017, Paper)
      - High Performance Tape Streaming in Tapr (2016, Paper)
      - A Design for Interchangeable Simulation and Implementation (2015, Paper)
  Jane Uhd Jepsen
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Markus Jochum
      - Computational Challenges for Climate Modelling (2016, Keynote Presentation)
  Carl-Johannes Johnsen
      - Pong Inspired Game Written in SME, Running on an FPGA (2017, Fringe Presentation)
      - Implementing a MIPS processor using SME (2017, Paper)
      - Implementing a Transputer for FPGA in Less Than 800 Lines of Code (2018, Paper)
      - Space Invaders Game Written in SME, Running on an FPGA (2018, Fringe Presentation)
  Christopher C. R. Jones
      - A Personal Perspective on the State of HPC in 2013 (2013, Paper)
  Michael Quinn Jones
      - The Distributed Application Debugger (2013, Paper)
  Ulrik Schou Jørgensen
      - trancell - an Experimental ETC to Cell BE Translator (2007, Paper)
  K  
  Humaira Kamal
      - Towards Lightweight Formal Development of MPI Applications (2015, Paper)
      - A Service-oriented Scalable Dictionary in MPI (2014, Paper)
      - Service Oriented Programming in MPI (2013, Paper)
  Brian Kauke
      - Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM (2009, Paper)
  David Keller
      - OpenTransputer: Reinventing a Parallel Machine from the Past (2015, Paper)
  Jon Kerridge
      - Communicating Connected Components: Extending Plug and Play to Support Skeletons (2016, Paper)
      - Process Discovery in Highly Parallel Distributed Systems (2014, Paper)
      - Verifying the CPA Networking Stack using SPIN/Promela (2013, Paper)
      - Experiments in Multicore and Distributed Parallel Processing using JCSP (2011, Paper)
      - Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP (2011, Paper)
      - An Application of CoSMoS Design Methods to Pedestrian Simulation (2009, Paper)
      - An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures (2009, Paper)
      - JCSP Agents-Based Service Discovery for Pervasive Computing (2009, Paper)
      - A Critique of JCSP Networking (2008, Paper)
      - Mobile Agents and Processes using Communicating Process Architectures (2008, Paper)
      - JCSPre: the Robot Edition To Control LEGO NXT Robots (2008, Paper)
      - Modelling a Multi-Core Media Processor using JCSP (2008, Paper)
      - Santa's Groovy Helper (2008, Fringe Presentation)
      - Lego Robots using JCSP (2008, Fringe Presentation)
      - Mobility in JCSP: New Mobile Channel and Mobile Process Models (2007, Paper)
      - Testing and Sampling Parallel Systems (2007, Paper)
      - Performance Evaluation of JCSP Micro Edition: JCSPme (2006, Paper)
      - Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View (2006, Paper)
      - Solving the Santa Claus Problem Over a Distributed Network (2018, Paper)
  Omer Kilic
      - Concurrent Event-driven Programming in occam-π for the Arduino (2011, Paper)
  Siw Turid Killengreen
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Mark Klein
      - Engineering Emergence: an occam-pi Adventure (2009, Fringe Presentation)
  Eivind Flittie Kleiven
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Arjen Klomp
      - Designing a Mathematically Verified I2C Device Driver using ASD (2009, Paper)
  Muhammed Ziya Komsul
      - A Real-time Garbage Collection Technique for Concurrent Flash Storage Architecture (2014, Fringe Presentation)
  Eric Kooistra
      - Specification of APERTIF Polyphase Filter Bank in CλaSH (2012, Paper)
  Martin Korsgaard
      - The Computation Time Process Model (2011, Paper)
      - Design Patterns for Communicating Systems with Deadline Propagation (2009, Paper)
      - Combining EDF Scheduling with occam using the Toc Programming Language (2008, Paper)
  Anna Magdalena Kosek
      - A Distributed Multi-Agent Control System for Power Consumption in Buildings (2012, Paper)
      - Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP (2011, Paper)
      - JCSP Agents-Based Service Discovery for Pervasive Computing (2009, Paper)
      - Modelling a Multi-Core Media Processor using JCSP (2008, Paper)
  Derrick G. Kourie
      - Process-Based Aho-Corasick Failure Function Construction (2015, Paper)
  Paul J. Krause
      - Concurrency Control and Recovery Management for Open e-Business Transactions (2007, Paper)
  Mads R. B. Kristensen
      - Lossy Channels in Bohrium (2018, Paper)
  Frits P. Kuipers
      - Mapping CSP Models for Embedded Control Software to Hardware Using CλaSH (2016, Paper)
  Shyam Kumar
      - A JCSP.net Implementation of a Massively Multiplayer Online Game (2006, Paper)
  Jan Kuper
      - Mapping CSP Models for Embedded Control Software to Hardware Using CλaSH (2016, Paper)
      - N Queens on an FPGA: Mathematics, Programming, or Both? (2014, Paper)
      - Deriving Stencil Hardware Accelerators from a Single Higher-Order Function (2014, Paper)
      - Specification of APERTIF Polyphase Filter Bank in CλaSH (2012, Paper)
  L  
  Mads Ohm Larsen
      - Automatic Code-generation for Library Method Inclusion in Domain Specific Languages (2017, Paper)
      - Teaching Concurrency: 10 Years of Programming Projects at UCPH (2017, Paper)
      - Broadcasting in CSP Style Programming (2016, Paper)
      - Exception Handling and Checkpointing in CSP (2012, Paper)
      - Emit - Communicating Sequential Processes in Ruby (2018, Paper)
      - Bohrium.rb - The Ruby Front End (2018, Paper)
      - Towards Automatic Program Specification Using SME Models (2018, Paper)
  Morten N. Larsen
      - Programming the CELL-BE using CSP (2011, Paper)
  Brendan Le Foll
      - Exploring GPGPU Acceleration of Process-Oriented Simulations (2013, Paper)
  Diego Pérez Leándrez
      - Formal Analysis of Video Encoding Application within Map/Reduce (2017, Paper)
  Alex A. Lehmberg
      - An Introduction to CSP.NET (2006, Paper)
  Ye Li
      - Implementation of an Agent-based Model with TBB Technique (2012, Fringe Presentation)
  Patrick Lismore
      - JCSPre: the Robot Edition To Control LEGO NXT Robots (2008, Paper)
  Gavin Lowe
      - A Debugger for Communicating Scala Objects (2012, Paper)
      - Implementing Generalised Alt (2011, Keynote Presentation)
      - Extending CSP with Tests for Availability (2009, Paper)
  Zhou Lu
      - Co-simulation Design towards Cyber-Physical Robotic Applications -- Leveraging FMI Standard and CSP Semantics (2017, Paper)
      - Simulation and Visualisation Tool Design for Robot Software (2016, Paper)
      - Visualisation Facilities of the Graphical CSP tool TERRA (2016, Fringe Presentation)
      - Model-Driven Design of Simulation Support for the TERRA Robot Software Tool Suite (2015, Paper)
  Wayne Luk
      - Domain Specific Transformations for Hardware Ray Tracing (2007, Paper)
  M  
  Angelika Mader
      - Schedulability Analysis of Timed CSP Models Using the PAT Model Checker (2012, Paper)
  Geoff Mainland
      - Beauty And The Beast: Exploiting GPUs In Haskell (2012, Paper)
  David Marchant
      - Solving the Santa Claus Problem Over a Distributed Network (2018, Paper)
  Julio Marino
      - A Model-driven Methodology for Generating and Verifying CSP-based Java Code (2015, Paper)
  Jeremy M. R. Martin
      - Rigorous Timing, Static OCCAM, and Classic CSP: Formal Verification for the Internet of Things (2017, Fringe Presentation)
      - Rigorous Timing, Static OCCAM, and Classic CSP: Mathematical Ground Truth (2017, Fringe Presentation)
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
      - Testing and Verifying Parallel Programs Using Data Refinement (2018, Paper)
      - Use Case Driven Microservices Architecture Design (2018, Paper)
      - Java, JCSP and Crew (The Strange Case of the Spurious Spurious) (2018, Fringe Presentation)
  David May
      - OpenTransputer: Reinventing a Parallel Machine from the Past (2015, Paper)
      - Communicating Processes and Processors (1975-2025) (2015, Keynote Presentation)
      - Communicating Process Architectures for Multicores (2007, Keynote Presentation)
  Christian Mayr
      - SpiNNaker-2: a 10 Million Core Processor System for Machine Learning and Brain Simulation (2018, Keynote Presentation)
  Alistair A. McEwan
      - A Real-time Garbage Collection Technique for Concurrent Flash Storage Architecture (2014, Fringe Presentation)
      - Beauty And The Beast: Exploiting GPUs In Haskell (2012, Paper)
      - SEU Protection for High-Reliability Flash File Systems (2012, Fringe Presentation)
      - A High Performance Reconfigurable Architecture for Flash File Systems (2012, Paper)
      - A Comparison Of Data-Parallel Programming Systems With Accelerator (2011, Paper)
      - A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C (2011, Fringe Presentation)
      - Experiments in Translating CSP || B to Handel-C (2008, Paper)
      - Modeling and Analysis of the AMBA Bus Using CSP and B (2007, Paper)
      - A Circus Development and Verification of an Internet Packet Filter (2006, Paper)
  Vitaliy Mezhuyev
      - OpenComRTOS: A Runtime Environment for Interacting Entities (2009, Paper)
  Kurt Micallef
      - Communicating Generators in JavaScript (2016, Paper)
  Greg Michaelson
      - Costing by Construction (2013, Keynote Presentation)
  Lukasz Michalik
      - CSP at the Cyber-Physical Edge (2018, Paper)
  Uwe Mielke
      - T42 – Transputer Design in FPGA (Year Three Design Status Report) (2017, Fringe Presentation)
      - T42 Transputer Design in FPGA (Year Two Design Status Report) (2016, Fringe Presentation)
      - T42 Transputer Design in FPGA (Year One: Design Status Report) (2015, Fringe Presentation)
      - T42 – Transputer Design in FPGA (2014, Fringe Presentation)
      - T42 - Transputer in FPGA (2018, Paper)
  Richard Miller
      - Distributed Computing on a (tiny) Budget: Building a Raspberry Pi Zero Microcluster (2016, Fringe Presentation)
      - Occam (Raspberry) Pi (2014, Fringe Presentation)
      - Polyphonic Processors - Fantasy on an FPGA (2012, Fringe Presentation)
  Irfan Mir
      - A High Performance Reconfigurable Architecture for Flash File Systems (2012, Paper)
      - A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems (2009, Fringe Presentation)
  James Moores
      - Integrating and Extending JCSP (2007, Paper)
  Sotiris K. Moschoyiannis
      - Concurrency Control and Recovery Management for Open e-Business Transactions (2007, Paper)
  Sarah Mount
      - CSP as a Domain-Specific Language Embedded in Python and Jython (2009, Paper)
  Rasmus Munk
      - MUMMERING Platform Idea's & Ubiquitous Data Analysis (2018, Paper)
  Masaki Murakami
      - On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication (2009, Paper)
  Michael Murphy
      - CSP at the Cyber-Physical Edge (2018, Paper)
  Adrian Muscat
      - Distributing CSP Process Networks over MPI Clusters (2017, Paper)
  N  
  Robert Newman
      - CSP as a Domain-Specific Language Embedded in Python and Jython (2009, Paper)
  O  
  Colin O'Halloran
      - How to Soar with CSP (2008, Keynote Presentation)
  Charles Oecheur
      - Combining Partial Order Reduction with Bounded Model Checking (2009, Paper)
  Oguzcan Oguz
      - Schedulability Analysis of Timed CSP Models Using the PAT Model Checker (2012, Paper)
      - Use of Formal Models in Model-driven Design of Embedded software (2009, Fringe Presentation)
  Tsuneki Ohashi
      - Development of an ML based Verification Tool for Timed CSP Processes (2011, Paper)
  Marcel V. M. Oliveira
      - JCircus 2.0: an Extension of an Automatic Translator from Circus to Java (2012, Paper)
      - JCircus Demo (2012, Fringe Presentation)
  Martin N. Olsen
      - An Introduction to CSP.NET (2006, Paper)
  George Oprean
      - Asynchronous Active Objects in Java (2008, Paper)
  Bojan Orlic
      - CSP and Real-Time: Reality or Illusion? (2007, Paper)
      - Design Principles of the SystemCSP Software Framework (2007, Paper)
      - SystemCSP - Visual Notation (2006, Paper)
      - Interacting Components (2006, Paper)
  Jonathan S. Ostroff
      - The SCOOP Concurrency Model in Java-like Languages (2009, Paper)
  P  
  Richard F. Paige
      - The SCOOP Concurrency Model in Java-like Languages (2009, Paper)
      - Lazy Exploration and Checking of CSP Models with CSPsim (2007, Paper)
  Alex Panayotopoulos
      - JCSPre: the Robot Edition To Control LEGO NXT Robots (2008, Paper)
  Gajinder Panesar
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Robin Passama
      - Components with Symbolic Transition Systems: a Java Implementation of Rendezvous (2007, Paper)
  Jan Bækgaard Pedersen
      - Concurrency, Intuition and Formal Verification: Yes, We Can! (Ben-Ari's Twin-Process Conundrum) (2017, Fringe Presentation)
      - A Workflow Methodology for Realising Concurrent and Verified Systems (2017, Keynote Presentation)
      - Unifying Concurrent Programming and Formal Verification within One Language (2017, Paper)
      - JVMCSP – Approaching Billions of Processes on a Single-Core JVM (2016, Paper)
      - Communicating Connected Components: Extending Plug and Play to Support Skeletons (2016, Paper)
      - Towards Millions of Processes on the JVM (2014, Paper)
      - Adding Concurrency to an Evidence-based Programming Language (2014, Fringe Presentation)
      - Mutually Assured Destruction (or the Joy of Sync) (2013, Fringe Presentation)
      - ProcessJ: A Possible Future of Process-Oriented Design (2013, Paper)
      - The Distributed Application Debugger (2013, Paper)
      - Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces (2011, Paper)
      - Adding Formal Verification to occam-π (2011, Endnote Presentation)
      - Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM (2009, Paper)
      - Asynchronous Active Objects in Java (2008, Paper)
      - Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques (2008, Paper)
      - Santa Claus – with Mobile Reindeer and Elves (2008, Fringe Presentation)
      - Classification of Programming Errors in Parallel Message Passing Systems (2006, Paper)
      - Java, JCSP and Crew (The Strange Case of the Spurious Spurious) (2018, Fringe Presentation)
  Roger Peel
      - CSP In Orbit - a Recent Satellite Application (2014, Fringe Presentation)
  Neil J. Perrins
      - SEU Protection for High-Reliability Flash File Systems (2012, Fringe Presentation)
      - A High Performance Reconfigurable Architecture for Flash File Systems (2012, Paper)
  Frederic Peschanski
      - A Denotational Study of Mobility (2009, Paper)
      - Verifying Mobile Systems: Take Two (2018, Paper)
  Michael Pirrone-Brusse
      - The Flying Gator: Towards Aerial Robotics in occam-π (2011, Fringe Presentation)
  Michael J. Pont
      - Shared-Clock Methodology for Time-Triggered Multi-Cores (2008, Paper)
  Michael Poole
      - OCCAM USER GROUP TECHNICAL MEETING (1984, Misc.)
  Michael R. Poppleton
      - JCSProB: Implementing Integrated Formal Specifications in Concurrent Java (2007, Paper)
  Jeremy C. Posso
      - Process-Oriented Subsumption Architectures in Swarm Robotic Systems (2011, Fringe Presentation)
  Thomas Pressnell
      - Exploring GPGPU Acceleration of Process-Oriented Simulations (2013, Paper)
  Q  
  Lindsay O'Brien Quarrie
      - A Concurrent Data Collection Environment for WAsteful COMmunication SAtellite System (2017, Paper)
      - Implementing a Transputer for FPGA in Less Than 800 Lines of Code (2018, Paper)
  R  
  Tjaling Ran
      - Simulation and Visualisation Tool Design for Robot Software (2016, Paper)
  Amir R. Razavi
      - Concurrency Control and Recovery Management for Open e-Business Transactions (2007, Paper)
  Jeff Reeve
      - Discrete Event-based Neural Simulation using the SpiNNaker System (2015, Paper)
  Martin Rehr
      - Event-driven, Collaborative and Adaptive Scientific Workflows on the Grid (2017, Paper)
      - BPU Simulator (2013, Paper)
  Fabricio Rernandes
      - Components with Symbolic Transition Systems: a Java Implementation of Rendezvous (2007, Paper)
  Carl G. Ritson
      - Unifying Concurrent Programming and Formal Verification within One Language (2017, Paper)
      - An Evaluation of Intel's Restricted Transactional Memory for CPAs (2013, Paper)
      - Object Store Based Simulation Interworking (2011, Paper)
      - Adding Formal Verification to occam-π (2011, Endnote Presentation)
      - Translating ETC to LLVM Assembly (2009, Paper)
      - Toward Process Architectures for Behavioural Robotics (2009, Paper)
      - Virtual Machine Based Debugging for occam-pi (2008, Paper)
      - Representation and Implementation of CSP and VCR Traces (2008, Paper)
      - A Process Oriented Approach to USB Driver Development (2007, Paper)
      - A Process-Oriented Architecture for Complex System Modelling (2007, Paper)
      - Shared-Memory Multi-Processor Scheduling Algorithms for CCSP (2007, Fringe Presentation)
      - Video Processing in occam-pi. (2006, Paper)
  Will Robbins
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Herman Roebbers
      - Designing a Mathematically Verified I2C Device Driver using ASD (2009, Paper)
      - CPA Survival Guide (2009, Fringe Presentation)
      - Handel-C Source Level Debugging (2008, Fringe Presentation)
      - Challenges When Implementing a Battery-less Display (2018, Fringe Presentation)
  Markus Roggenbach
      - Adding CSPm Functions and Data Types to CSP++ (2015, Paper)
  Imed Romdhani
      - A Critique of JCSP Networking (2008, Paper)
      - Mobility in JCSP: New Mobile Channel and Mobile Process Models (2007, Paper)
      - Performance Evaluation of JCSP Micro Edition: JCSPme (2006, Paper)
  Nelson Souto Rosa
      - Towards Lightweight Formal Development of MPI Applications (2015, Paper)
  Bill Roscoe
      - FDR into The Cloud  (2014, Paper)
      - De-skilling CSP: Why FDR Needs Lazy Compilation (2014, Keynote Presentation)
  Jean-Claude Royer
      - Components with Symbolic Transition Systems: a Java Implementation of Rendezvous (2007, Paper)
  M. Carmen Ruiz
      - Formal Analysis of Video Encoding Application within Map/Reduce (2017, Paper)
  S  
  Arash Saifhashemi
      - SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces (2011, Paper)
  Adam T. Sampson
      - Process-Oriented Building Blocks (2012, Fringe Presentation)
      - Process-Oriented Subsumption Architectures in Swarm Robotic Systems (2011, Fringe Presentation)
      - Concurrent Event-driven Programming in occam-π for the Arduino (2011, Paper)
      - Object Store Based Simulation Interworking (2011, Paper)
      - This is a Parallel Parrot (2011, Fringe Presentation)
      - Distributing Concurrent Simulation (2011, Fringe Presentation)
      - Clocks (2009, Fringe Presentation)
      - occam on the Arduino (2009, Fringe Presentation)
      - Two-Way Protocols for occam-pi (2008, Paper)
      - Tock: One Year On (2008, Fringe Presentation)
      - Compiling occam to C with Tock (2007, Fringe Presentation)
      - Video Processing in occam-pi. (2006, Paper)
      - pony - The occam-pi Network Environment (2006, Paper)
  Dimitrios Sarakiotis
      - Specification of APERTIF Polyphase Filter Bank in CλaSH (2012, Paper)
  Steve Schneider
      - Experiments in Translating CSP || B to Handel-C (2008, Paper)
      - A Step Towards Refining and Translating B Control Annotations to Handel-C (2007, Paper)
      - Modeling and Analysis of the AMBA Bus Using CSP and B (2007, Paper)
  Mario Schweigler
      - pony - The occam-pi Network Environment (2006, Paper)
  Roger Shepherd
      - Parallel Systems from 1979 to 2014: 35 Years of Progress? (2014, Keynote Presentation)
  Cabel Shrestha
      - JVMCSP – Approaching Billions of Processes on a Single-Core JVM (2016, Paper)
  Jonathan L. Simpson
      - Visual Process-Oriented Programming for Robotics (2008, Paper)
      - Virtual Machine Based Debugging for occam-pi (2008, Paper)
      - A Native Transterpreter for the LEGO Mindstorms RCX (2007, Paper)
      - Mobile Robot Control: The Subsumption Architecture and occam-pi (2006, Paper)
  Jonathan Simpson
      - Process-Oriented Subsumption Architectures in Swarm Robotic Systems (2011, Fringe Presentation)
      - Toward Process Architectures for Behavioural Robotics (2009, Paper)
  Satnam Singh
      - A Comparison Of Data-Parallel Programming Systems With Accelerator (2011, Paper)
      - Hardware/Software Synthesis and Verification Using Esterel (2007, Paper)
  Kenneth Skovhede
      - Big Data Analysis with Skeletons on SOFA (2017, Paper)
      - Extensions to the Concurrent Communications Library (2016, Paper)
      - Broadcasting in CSP Style Programming (2016, Paper)
      - VHDL Generation From Python Synchronous Message Exchange Networks (2016, Paper)
      - Bus Centric Synchronous Message Exchange for Hardware Designs (2015, Paper)
      - CoCoL: Concurrent Communications Library (2015, Paper)
      - Synchronous Message Exchange for Hardware Designs  (2014, Paper)
      - BPU Simulator (2013, Paper)
      - Programming the CELL-BE using CSP (2011, Paper)
      - Implementing a Transputer for FPGA in Less Than 800 Lines of Code (2018, Paper)
      - Evaluating CSP as a Programming Model to Build Distributed Systems (2018, Paper)
      - Towards Automatic Program Specification Using SME Models (2018, Paper)
  Tor Skovsgaard
      - A Concurrent Data Collection Environment for WAsteful COMmunication SAtellite System (2017, Paper)
  Dan Slipper
      - A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C (2011, Fringe Presentation)
      - Systems Modelling and Integration (2009, Fringe Presentation)
  Anthony Smith
      - The Flying Gator: Towards Aerial Robotics in occam-π (2011, Fringe Presentation)
  Marc L. Smith
      - ProcessJ: A Possible Future of Process-Oriented Design (2013, Paper)
      - Relating and Visualising CSP, VCR and Structural Traces (2009, Paper)
      - Representation and Implementation of CSP and VCR Traces (2008, Paper)
      - Algebras of Actions in Concurrent Processes (2007, Fringe Presentation)
  Eeva Marjatta Soininen
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Yuriy Solovyov
      - Supporting Timed CSP Operators in CSP++ (2012, Paper)
  Matthew Sowders
      - Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces (2011, Paper)
  Bernhard H. C. Sputh
      - Protected Mode RTOS: What does it Mean? (2015, Fringe Presentation)
      - OpenComRTOS: A Runtime Environment for Interacting Entities (2009, Paper)
      - RRABP: Point-to-Point Communication over Unreliable Components (2008, Paper)
      - IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks (2008, Paper)
      - Transfer Request Broker: Resolving Input-Output Choice (2008, Paper)
      - A Versatile Hardware-Software Platform for In-Situ Monitoring Systems (2007, Paper)
      - Integrating and Extending JCSP (2007, Paper)
      - Portable CSP Based Design for Embedded Multi-Core Systems (2006, Paper)
      - A Study of Percolation Phenomena in Process Networks (2006, Paper)
  Anthony Spiteri Staines
      - Concurrency Issues in Ordinary Place Transition Petri Nets (2017, Paper)
  Andreas Stefik
      - Towards Millions of Processes on the JVM (2014, Paper)
      - Adding Concurrency to an Evidence-based Programming Language (2014, Fringe Presentation)
  Gardiner S. Stiles
      - A JCSP.net Implementation of a Massively Multiplayer Online Game (2006, Paper)
  Tinus Strauss
      - Process-Based Aho-Corasick Failure Function Construction (2015, Paper)
  Espen Suenson
      - trancell - an Experimental ETC to Cell BE Translator (2007, Paper)
  Bernard Sufrin
      - Communicating Scala Objects (2008, Paper)
      - Process-Oriented Collective Operations (2008, Paper)
  Aly Syed
      - Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP (2011, Paper)
      - JCSP Agents-Based Service Discovery for Pervasive Computing (2009, Paper)
      - Modelling a Multi-Core Media Processor using JCSP (2008, Paper)
  Patrick Dyhrberg Sørensen
      - A Concurrent Data Collection Environment for WAsteful COMmunication SAtellite System (2017, Paper)
  T  
  Jonathan Tate
      - YASS: a Scalable Sensornet Simulator for Large Scale Experimentation (2008, Paper)
  Øyvind Teig
      - Messing Around with Timeouts. In Contracts? (2016, Fringe Presentation)
      - Not that Blocking! (2015, Fringe Presentation)
      - Not that Concurrent! (2015, Fringe Presentation)
      - XCHANs: Notes on a New Channel Type (2012, Paper)
      - Names of XCHAN Implementations (2013, Fringe Presentation)
      - Selective Choice "Feathering" with XCHANs  (2013, Paper)
      - New ALT for Application Timers and Synchronisation Point Scheduling (2009, Paper)
      - High Cohesion and Low Coupling: the Office Mapping Factor (2007, Paper)
      - No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple) (2006, Paper)
      - Unravelling XC concepts [[combine]],[[combinable]], [[distribute]], [[distributable]] and [[distributed(..)]] plus par and on ... (2018, Fringe Presentation)
  Alberte Thegler
      - Towards Automatic Program Specification Using SME Models (2018, Paper)
  Simon J. Thornber
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
  Jon Timmis
      - Process-Oriented Subsumption Architectures in Swarm Robotic Systems (2011, Fringe Presentation)
  Tim Todman
      - Domain Specific Transformations for Hardware Ray Tracing (2007, Paper)
  Faraz Torshizi
      - The SCOOP Concurrency Model in Java-like Languages (2009, Paper)
  Daniel Towner
      - Development of a Family of Multi-Core Devices Using Hierarchical Abstraction (2007, Paper)
  Helen Trehane
      - Experiments in Translating CSP || B to Handel-C (2008, Paper)
  Waide B. Tristram
      - Hydra: A Python Framework for Parallel Computing (2009, Paper)
  Andrew Turner
      - National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation (2013, Keynote Presentation)
  U  
  Neil Urquhart
      - An Application of CoSMoS Design Methods to Pedestrian Simulation (2009, Paper)
  V  
  Jaco van de Pol
      - Mechanical Verification of a Two-Way Sliding Window Protocol (2008, Paper)
  Hans T. J. van der Steen
      - Designing Animation Facilities for gCSP (2008, Fringe Presentation)
  W. Mathijs van der Werf
      - Connecting Two Robot-Software Communicating Architectures: ROS and LUNA (2016, Paper)
  Pieter Van schaik
      - Dealing with (Real)-Time in Real-World Hybrid Systems (2015, Workshop)
  Jasper van Zuijlen
      - FPGA Based Control of a Production Cell System (2008, Paper)
  José Vander Meulen
      - Combining Partial Order Reduction with Bounded Model Checking (2009, Paper)
  Per Johan Vannebo
      - New ALT for Application Timers and Synchronisation Point Scheduling (2009, Paper)
  Kevin Vella
      - Distributing CSP Process Networks over MPI Clusters (2017, Paper)
      - DOMASCOS – DOMAin Specific COncurrency Skeleton (2017, Workshop)
      - Communicating Generators in JavaScript (2016, Paper)
      - Exploring Peer-to-Peer Virtualized Multithreaded Services (2011, Fringe Presentation)
  Eric Verhulst
      - occam's Rule Applied: Separation of Concerns as a Key to Trustworthy Systems Engineering for Complex Systems (2015, Keynote Presentation)
      - Dealing with (Real)-Time in Real-World Hybrid Systems (2015, Workshop)
      - OpenComRTOS: A Runtime Environment for Interacting Entities (2009, Paper)
  Brian Vinter
      - VCSP - Towards a Process Oriented Scratch-Model? (2017, Fringe Presentation)
      - Big Data Analysis with Skeletons on SOFA (2017, Paper)
      - Event-driven, Collaborative and Adaptive Scientific Workflows on the Grid (2017, Paper)
      - Teaching Concurrency: 10 Years of Programming Projects at UCPH (2017, Paper)
      - Concurrent Composition of I/O Redundancy Behaviors in Go (2017, Paper)
      - A Concurrent Data Collection Environment for WAsteful COMmunication SAtellite System (2017, Paper)
      - DOMASCOS – DOMAin Specific COncurrency Skeleton (2017, Workshop)
      - Extensions to the Concurrent Communications Library (2016, Paper)
      - Broadcasting in CSP Style Programming (2016, Paper)
      - High Performance Tape Streaming in Tapr (2016, Paper)
      - VHDL Generation From Python Synchronous Message Exchange Networks (2016, Paper)
      - Concurrency: Quit Obsessing about Your Code and Start Worrying about Your Data! (2016, Fringe Presentation)
      - Bus Centric Synchronous Message Exchange for Hardware Designs (2015, Paper)
      - CoCoL: Concurrent Communications Library (2015, Paper)
      - A Design for Interchangeable Simulation and Implementation (2015, Paper)
      - Code Specialisation of Auto-Generated GPU Kernels (2015, Paper)
      - The Role of Concurrency in the Modern HPC Center (2015, Workshop)
      - Synchronous Message Exchange for Hardware Designs  (2014, Paper)
      - Exception Handling and Checkpointing in CSP (2012, Paper)
      - Scaling PyCSP (2013, Paper)
      - BPU Simulator (2013, Paper)
      - Programming the CELL-BE using CSP (2011, Paper)
      - Verification of a Dynamic Channel Model using the SPIN Model-Checker (2011, Paper)
      - PyCSP Revisited (2009, Paper)
      - Three Unique Implementations of Processes for PyCSP (2009, Paper)
      - CSPBuilder – CSP Based Scientific Workflow Modeling (2008, Paper)
      - PyCSP - Communicating Sequential Processes for Python (2007, Paper)
      - aPyCSP - Asynchronous PyCSP Using Python Coroutines and asyncio (2018, Paper)
      - Emit - Communicating Sequential Processes in Ruby (2018, Paper)
      - Implementing a Transputer for FPGA in Less Than 800 Lines of Code (2018, Paper)
      - Bohrium.rb - The Ruby Front End (2018, Paper)
      - Evaluating CSP as a Programming Model to Build Distributed Systems (2018, Paper)
      - Towards Automatic Program Specification Using SME Models (2018, Paper)
      - MUMMERING Platform Idea's & Ubiquitous Data Analysis (2018, Paper)
      - Workshop on Translating CSP-Based Languages to Common Programming Languages (2018, Workshop)
  Tanya Vladimirova
      - A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions (2007, Paper)
  W  
  Alan Wagner
      - Towards Lightweight Formal Development of MPI Applications (2015, Paper)
      - A Service-oriented Scalable Dictionary in MPI (2014, Paper)
      - Fine-Grain MPI for Extreme-Scale Programming (2014, Workshop)
      - Service Oriented Programming in MPI (2013, Paper)
  Paul Walker
      - CSP In Orbit - a Recent Satellite Application (2014, Fringe Presentation)
      - SpaceWire - DS-Links Reborn (2006, Paper)
  Kurt Wallnau
      - Engineering Emergence: an occam-pi Adventure (2009, Fringe Presentation)
  Douglas N. Warren
      - Prioritised Choice over Multiway Synchronisation (2011, Paper)
      - PICOMS: Prioritised Inferred Choice Over Multiway Synchronisation (2008, Fringe Presentation)
  Bruce W. Watson
      - Process-Based Aho-Corasick Failure Function Construction (2015, Paper)
  Peter H. Welch
      - Concurrency, Intuition and Formal Verification: Yes, We Can! (Ben-Ari's Twin-Process Conundrum) (2017, Fringe Presentation)
      - A Workflow Methodology for Realising Concurrent and Verified Systems (2017, Keynote Presentation)
      - Unifying Concurrent Programming and Formal Verification within One Language (2017, Paper)
      - Managing Hard Real Times (28 Years Later) (2015, Fringe Presentation)
      - Making JCSP Faster: Re-implement with Atomic Operations and Verify its Correctness (2014, Workshop)
      - Verification Extensions for Programming Languages  (2014, Workshop)
      - Why is CSP Needlessly Difficult to Learn and so Easy to Forget, and Why are its Semantics Upside Down? (2014, Workshop)
      - Cancellable Servers - a Pattern for Curiousity (2012, Fringe Presentation)
      - occam Obviously (2012, Paper)
      - Unfinished Business - occam-pi² (2012, Fringe Presentation)
      - Mutually Assured Destruction (or the Joy of Sync) (2013, Fringe Presentation)
      - An occam Model of XCHANs (2013, Fringe Presentation)
      - Life of occam-Pi  (2013, Paper)
      - Mobile Processes and Call Channels with Variant Interfaces (a Duality) (2011, Fringe Presentation)
      - Adding Formal Verification to occam-π (2011, Endnote Presentation)
      - Engineering Emergence: an occam-pi Adventure (2009, Fringe Presentation)
      - Concurrency First (but we'd better get it right!) (2009, Fringe Presentation)
      - A CSP Model for Mobile Channels (2008, Paper)
      - Santa Claus – with Mobile Reindeer and Elves (2008, Fringe Presentation)
      - A Process-Oriented Architecture for Complex System Modelling (2007, Paper)
      - Integrating and Extending JCSP (2007, Paper)
      - A Fast Resolution of Choice between Multiway Synchronisations (2006, Keynote Presentation)
      - Java, JCSP and Crew (The Strange Case of the Spurious Spurious) (2018, Fringe Presentation)
  Rinse Wester
      - Mapping CSP Models for Embedded Control Software to Hardware Using CλaSH (2016, Paper)
      - N Queens on an FPGA: Mathematics, Programming, or Both? (2014, Paper)
      - Deriving Stencil Hardware Accelerators from a Single Higher-Order Function (2014, Paper)
      - Specification of APERTIF Polyphase Filter Bank in CλaSH (2012, Paper)
  Steve Weston
      - Economics of Cloud Computing: a Statistical Genetics Case Study (2009, Paper)
  James Whitehead II
      - Designing a Concurrent File Server (2012, Paper)
      - Serving Web Content with Dynamic Process Networks in Go (2011, Paper)
  Gregory L. Wickstrom
      - Advanced System Simulation, Emulation and Test (ASSET) (2007, Paper)
  Sam Wilson
      - CSP as a Domain-Specific Language Embedded in Python and Jython (2009, Paper)
  Robert J. W. Wilterdink
      - Design and Use of CSP Meta-Model for Embedded Control Software Development (2012, Paper)
      - Developing JIWY using TERRA (2012, Fringe Presentation)
      - LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework (2011, Paper)
      - Demonstration of the LUNA Framework (2011, Fringe Presentation)
  Jim Woodcock
      - The COMPASS Modelling Language: Timed Semantics in UTP  (2014, Keynote Presentation)
  Xiaofeng Wu
      - A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions (2007, Paper)
  Y  
  Cagri Yalcin
      - Robust Robot Software using Process Orientation (2009, Fringe Presentation)
  Takeshi Yamakawa
      - Development of an ML based Verification Tool for Timed CSP Processes (2011, Paper)
  Letu Yang
      - JCSProB: Implementing Integrated Formal Specifications in Concurrent Java (2007, Paper)
  Nigel Gilles Yoccoz
      - Building a Sensor System for a Large Scale Arctic Observatory (2016, Paper)
  Z  
  Martin Zabel
      - T42 – Transputer Design in FPGA (Year Three Design Status Report) (2017, Fringe Presentation)
      - T42 Transputer Design in FPGA (Year Two Design Status Report) (2016, Fringe Presentation)
      - T42 – Transputer Design in FPGA (2014, Fringe Presentation)
      - T42 - Transputer in FPGA (2018, Paper)