Index of CPA2008 CD-ROM

This CD-ROM contains material from the Communicating Process Architectures 2008 that was held in York from 7th-10th September 2008.

Papers from the Proceedings

Preface
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures
Samson Abramsky, Oxford University Computing Laboratory
How to Soar with CSP
Colin O'Halloran, Director Systems Assurance Programme, QinetiQ
A CSP Model for Mobile Channels
Peter H. Welch and Frederick R.M. Barnes, Computing Laboratory, University of Kent
Communicating Scala Objects
Bernard Sufrin, Oxford University Computing Laboratory
Combining EDF Scheduling with occam using the Toc Programming Language
Martin Korsgaard and Sverre Hendseth, Department of Engineering Cybernetics, Norwegian University of Science and Technology
Communicating Haskell Processes: Composable Explicit Concurrency using Monads
Neil Brown, Computing Laboratory, University of Kent
Two-Way Protocols for occam-pi
Adam T. Sampson, Computing Laboratory, University of Kent
Prioritized Service Architecture: Refinement and Visual Design
Ian East, Department for Computing, Oxford Brookes University
Experiments in Translating CSP || B to Handel-C
Steve Schneider (University of Surrey), Helen Treharne (University of Surrey), Alistair McEwan (University of Leicester) and Wilson Ifill (AWE Aldermaston)
FPGA Based Control of a Production Cell System
Marcel A. Groothuis, Jasper Van Zuijlen and Jan F. Broenink, Control Engineering, Faculty EEMCS, University of Twente
Shared-Clock Methodology for Time-Triggered Multi-Cores
Keith F. Athaide (Embedded Systems Laboratory, University of Leicester), Michael J. Pont (Embedded Systems Laboratory, University of Leicester) and Devaraj Ayavoo (TTE Systems Ltd, 106 New Walk, Leicester)
Transfer Request Broker: Resolving Input-Output Choice
Oliver Faust, Bernhard H.C. Sputh and Alastair R. Allen, Department of Engineering, University of Aberdeen
Mechanical Verification of a Two-Way Sliding Window Protocol
Bahareh Badban (Department of Computer and Information Science, University of Konstanz), Wan Fokkink (Department of Computer Science, Vrije Universiteit Amsterdam) and Jaco van de Pol (Department of Computer Science, Vrije Universiteit Amsterdam)
RRABP: Point-to-Point Communication over Unreliable Components
Bernhard H.C. Sputh, Oliver Faust and Alastair R. Allen, School of Engineering, University of Aberdeen
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks
Oliver Faust, Bernhard H.C. Sputh, and Alastair R. Allen, Department of Engineering, University of Aberdeen
Asynchronous Active Objects in Java
George Oprean and Jan B. Pedersen, School of Computer Science, University of Nevada
JCSPre: the Robot Edition To Control LEGO NXT Robots
Jon Kerridge, Alex Panayotopoulos and Patrick Lismore, School of Computing, Napier University
A Critique of JCSP Networking
Kevin Chalmers, Jon Kerridge and Imed Romdhani, School of Computing, Napier University
Virtual Machine Based Debugging for occam-pi
Carl G. Ritson and Jonathan Simpson, Computing Laboratory, University of Kent
Process-Oriented Collective Operations
John Markus Bjørndalen (Department of Computer Science, University of Tromsø) and Adam T. Sampson (Computing Laboratory, University of Kent)
Representation and Implementation of CSP and VCR Traces
Neil Brown (Computing Laboratory, University of Kent) and Marc L. Smith (Computer Science Department, Vassar College, Poughkeepsie, New York)
CSPBuilder – CSP based Scientific Workflow Modeling
Rune Møllegård Friborg and Brian Vinter, Department of Computer Science, University of Copenhagen
Visual Process-Oriented Programming for Robotics
Jonathan Simpson and Christian L. Jacobsen, Computing Laboratory, University of Kent
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques
Jason Hurt and Jan B. Pedersen, School of Computer Science, University of Nevada
Mobile Agents and Processes using Communicating Process Architectures
Jon Kerridge, Jens-Oliver Haschke and Kevin Chalmers, School of Computing, Napier University
YASS: a Scalable Sensornet Simulator for Large Scale Experimentation
Jonathan Tate and Iain Bate, Department of Computer Science, University of York
Modelling a Multi-Core Media Processor using JCSP
Anna Kosek (School of Computing, Napier University), Jon Kerridge (School of Computing, Napier University) and Aly Syed (NXP Semiconductors Research, Eindhoven)

WoTUG

Communicating Process Architectures 2008

Papers from the Proceedings

Fringe Papers

Presentation Slides