default search action
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:
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 - Samson Abramsky
:
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures. 1-13 - Colin O'Halloran:
How to Soar with CSP. 15 - Peter H. Welch, Fred R. M. Barnes:
A CSP Model for Mobile Channels. 17-33 - Bernard Sufrin:
Communicating Scala Objects. 35-54 - Martin Korsgaard, Sverre Hendseth:
Combining EDF Scheduling with occam using the Toc Programming Language. 55-66 - Neil C. C. Brown:
Communicating Haskell Processes: Composable Explicit Concurrency using Monads. 67-83 - Adam T. Sampson:
Two-Way Protocols for occam-pi. 85-97 - Ian R. East:
Prioritized Service Architecture: Refinement and Visual Design. 99-113 - Steve A. Schneider
Experiments in Translating CSP || B to Handel-C. 115-133 - Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan F. Broenink:
FPGA based Control of a Production Cell System. 135-148 - Keith Florence Athaide, Michael J. Pont, Devaraj Ayavoo:
Shared-Clock Methodology for Time-Triggered Multi-Cores. 149-162 - Oliver Faust
Transfer Request Broker: Resolving Input-Output Choice. 163-177 - Bahareh Badban, Wan J. Fokkink
Mechanical Verification of a Two-Way Sliding Window Protocol. 179-202 - Bernhard H. C. Sputh, Oliver Faust
RRABP: Point-to-Point Communication over Unreliable Components. 203-217 - Oliver Faust
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks. 219-235 - George Oprean, Jan Bækgaard Pedersen
Asynchronous Active Objects in Java. 237-254 - Jon M. Kerridge
JCSPre: the Robot Edition to Control LEGO NXT Robots. 255-270 - Kevin Chalmers, Jon M. Kerridge
A Critique of JCSP Networking. 271-291 - Carl G. Ritson, Jonathan Simpson:
Virtual Machine Based Debugging for occam-pi. 293-307 - John Markus Bjørndalen, Adam T. Sampson:
Process-Oriented Collective Operations. 309-328 - Neil C. C. Brown, Marc L. Smith:
Representation and Implementation of CSP and VCR Traces. 329-345 - Rune Møllegård Friborg, Brian Vinter:
CSPBuilder - CSP based Scientific Workflow Modelling. 347-363 - Jonathan Simpson, Christian L. Jacobsen:
Visual Process-Oriented Programming for Robotics. 365-380 - Jason Hurt, Jan Bækgaard Pedersen
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. 381-396 - Jon M. Kerridge
Mobile Agents and Processes using Communicating Process Architectures. 397-410 - Jonathan Tate, Iain Bate:
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. 411-430 - Anna Magdalena Kosek, Jon M. Kerridge
Modelling a Multi-Core Media Processor Using JCSP. 431-443 - Neil C. C. Brown:
How to Make a Process Invisible. 445 - Hans T. J. van der Steen, Marcel A. Groothuis, Jan F. Broenink:
Designing Animation Facilities for gCSP. 447 - Adam T. Sampson, Neil C. C. Brown:
Tock: One Year On. 449 - Kevin Chalmers:
Introducing JCSP Networking 2.0. 451 - Eric Bonnici:
Mobile Processes in an Ant Simulation. 453 - Peter H. Welch, Jan Bækgaard Pedersen:
Santa Claus - with Mobile Reindeer and Elves. 455
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: