Proceedings details

• Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures  Samson Abramsky, 13 pages [PDF]
• How to Soar with CSP  Colin O'Halloran, 1 page [PDF]
• A CSP Model for Mobile Channels Peter H. Welch, Frederick R. M. Barnes, 17 pages [PDF]
• Communicating Scala Objects  Bernard Sufrin, 20 pages [PDF]
• Combining EDF Scheduling with occam using the Toc Programming Language  Martin Korsgaard, Sverre Hendseth, 12 pages [PDF]
• Communicating Haskell Processes: Composable Explicit Concurrency Using Monads  Neil C.C. Brown, 17 pages [PDF]
• Two-Way Protocols for occam-π  Adam T. Sampson, 13 pages [PDF]
• Prioritized Service Architecture: Refinement and Visual Design Ian R. East, 15 pages
• Experiments in Translating CSP||B to Handel-C  Steve Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill, 19 pages [PDF]
• FPGA Based Control of a Production Cell System  Marcel A. Groothuis, Jasper J.P. Van Zuijlen, Jan F. Broenink, 14 pages [PDF]
• Shared-Clock Methodology for Time-Triggered Multi-Cores  Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo, 14 pages [PDF]
• Transfer Request Broker: Resolving Input-Output Choice  Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 15 pages [PDF]
• Mechanical Verification of a Two-Way Sliding Window Protocol  Bahareh Badban, Wan Fokkink, Jaco Van De Pol, 24 pages [PDF]
• RRABP: Point-to-Point Communication over Unreliable Components  Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 15 pages [PDF]
• IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks  Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 17 pages [PDF]
• Asynchronous Active Objects in Java  George Oprean, Jan Bækgaard Pedersen, 18 pages [PDF]
• JCSPre: the Robot Edition To Control LEGO NXT Robots  Jon Kerridge, Alex Panayotopoulos, Patrick Lismore, 16 pages [PDF]
• A Critique of JCSP Networking  Kevin Chalmers, Jon Kerridge, Imed Romdhani, 21 pages [PDF]
• Virtual Machine Based Debugging for occam-π  Carl G. Ritson, Jonathan Simpson, 15 pages [PDF]
• Process-Oriented Collective Operations  John Markus Bjørndalen, Adam T. Sampson, 20 pages [PDF]
• Representation and Implementation of CSP and VCR Traces  Neil C.C. Brown, Marc L. Smith, 17 pages
• CSPBuilder - CSP based Scientific Workflow Modeling  Rune Møllegard Friborg, Brian Vinter, 17 pages [PDF]
• Visual Process-Oriented Programming for Robotics  Jonathan Simpson, Christian L. Jacobsen, 16 pages [PDF]
• Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques  Jason Hurt, Jan Bækgaard Pedersen, 16 pages [PDF]
• Mobile Agents and Processes using Communicating Process Architectures  Jon Kerridge, Jens-Oliver Haschke, Kevin Chalmers, 14 pages [PDF]
• YASS: a Scalable Sensornet Simulator for Large Scale Experimentation  Jonathan Tate, Iain Bate, 20 pages [PDF]
• Modelling a Multi-Core Media Processor Using JCSP  Anna Kosek, Jon Kerridge, Aly Syed, 13 pages [PDF]
• How to Make a Process Invisible  Neil C.C. Brown, 1 page [PDF]
• Designing Animation Facilities for gCSP  Hans T.J. van der Steen, Marcel A. Groothuis, Jan F. Broenink, 1 page
• Tock: One Year On  Adam T. Sampson, Neil C.C. Brown, 1 page
• Introducing JCSP Networking 2.0  Kevin Chalmers, 1 page
• Mobile Processes in an Ant Simulation  Eric Bonnici, 1 page
• Santa Claus - with Mobile Reindeer and Elves Peter H. Welch, Jan Bækgaard Pedersen, 1 page
• Lego Robots Using JCSP  Jon Kerridge
• Handel-C Source Level Debugging  Herman Roebbers
• Towards Guaranteeing Process Oriented Program Behaviour  Frederick R. M. Barnes
• PICOMS: Prioritised Inferred Choice Over Multiway Synchronisation  Douglas N. Warren
• Designing with Software Defined Silicon  A. Dixon
• Santa's Groovy Helper  Jon Kerridge