CPA 2008:
York,
Yorkshire,
UK
Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.):
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008.
Concurrent Systems Engineering Series 66 IOS Press 2008, ISBN 978-1-58603-907-3 BibTeX
- Samson Abramsky:
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures.
1-13
Electronic Edition (link) BibTeX
- Colin O'Halloran:
How to Soar with CSP.
15
Electronic Edition (link) BibTeX
- Peter H. Welch, Fred R. M. Barnes:
A CSP Model for Mobile Channels.
17-33
Electronic Edition (link) BibTeX
- Bernard Sufrin:
Communicating Scala Objects.
35-54
Electronic Edition (link) BibTeX
- Martin Korsgaard, Sverre Hendseth:
Combining EDF Scheduling with occam using the Toc Programming Language.
55-66
Electronic Edition (link) BibTeX
- Neil C. C. Brown:
Communicating Haskell Processes: Composable Explicit Concurrency using Monads.
67-83
Electronic Edition (link) BibTeX
- Adam T. Sampson:
Two-Way Protocols for occam-pi.
85-97
Electronic Edition (link) BibTeX
- Ian R. East:
Prioritized Service Architecture: Refinement and Visual Design.
99-113
Electronic Edition (link) BibTeX
- Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill:
Experiments in Translating CSP || B to Handel-C.
115-133
Electronic Edition (link) BibTeX
- Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan F. Broenink:
FPGA based Control of a Production Cell System.
135-148
Electronic Edition (link) BibTeX
- Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo:
Shared-Clock Methodology for Time-Triggered Multi-Cores.
149-162
Electronic Edition (link) BibTeX
- Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen:
Transfer Request Broker: Resolving Input-Output Choice.
163-177
Electronic Edition (link) BibTeX
- Bahareh Badban, Wan Fokkink, Jaco van de Pol:
Mechanical Verification of a Two-Way Sliding Window Protocol.
179-202
Electronic Edition (link) BibTeX
- Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen:
RRABP: Point-to-Point Communication over Unreliable Components.
203-217
Electronic Edition (link) BibTeX
- Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen:
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks.
219-235
Electronic Edition (link) BibTeX
- George Oprean, Jan Bækgaard Pedersen:
Asynchronous Active Objects in Java.
237-254
Electronic Edition (link) BibTeX
- Jon M. Kerridge, Alex Panayotopoulos, Patrick Lismore:
JCSPre: the Robot Edition to Control LEGO NXT Robots.
255-270
Electronic Edition (link) BibTeX
- Kevin Chalmers, Jon M. Kerridge, Imed Romdhani:
A Critique of JCSP Networking.
271-291
Electronic Edition (link) BibTeX
- Carl G. Ritson, Jonathan Simpson:
Virtual Machine Based Debugging for occam-pi.
293-307
Electronic Edition (link) BibTeX
- John Markus Bjørndalen, Adam T. Sampson:
Process-Oriented Collective Operations.
309-328
Electronic Edition (link) BibTeX
- Neil C. C. Brown, Marc L. Smith:
Representation and Implementation of CSP and VCR Traces.
329-345
Electronic Edition (link) BibTeX
- Rune Møllegård Friborg, Brian Vinter:
CSPBuilder - CSP based Scientific Workflow Modelling.
347-363
Electronic Edition (link) BibTeX
- Jonathan Simpson, Christian L. Jacobsen:
Visual Process-Oriented Programming for Robotics.
365-380
Electronic Edition (link) BibTeX
- Jason Hurt, Jan Bækgaard Pedersen:
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques.
381-396
Electronic Edition (link) BibTeX
- Jon M. Kerridge, Jens-Oliver Haschke, Kevin Chalmers:
Mobile Agents and Processes using Communicating Process Architectures.
397-410
Electronic Edition (link) BibTeX
- Jonathan Tate, Iain Bate:
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation.
411-430
Electronic Edition (link) BibTeX
- Anna Kosek, Jon M. Kerridge, Aly Syed:
Modelling a Multi-Core Media Processor Using JCSP.
431-443
Electronic Edition (link) BibTeX
- Neil C. C. Brown:
How to Make a Process Invisible.
445
Electronic Edition (link) BibTeX
- Hans T. J. van der Steen, Marcel A. Groothuis, Jan F. Broenink:
Designing Animation Facilities for gCSP.
447
Electronic Edition (link) BibTeX
- Adam T. Sampson, Neil C. C. Brown:
Tock: One Year On.
449
Electronic Edition (link) BibTeX
- Kevin Chalmers:
Introducing JCSP Networking 2.0.
451
Electronic Edition (link) BibTeX
- Eric Bonnici:
Mobile Processes in an Ant Simulation.
453
Electronic Edition (link) BibTeX
- Peter H. Welch, Jan Bækgaard Pedersen:
Santa Claus - with Mobile Reindeer and Elves.
455
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:48:25 2009
by Michael Ley (ley@uni-trier.de)
