CPA 2007: Guildford, Surrey, UK
Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch (Eds.): The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007. IOS Press 2007 Concurrent Systems Engineering Series 65 ISBN 978-1-58603-767-3- Tony Hoare: Fine-grain Concurrency. 1-19
- David May: Communicating Process Architecture for Multicores. 21-32
- Matthew M. Huntbach: The Core Language of Aldwych. 51-66
- Letu Yang, Michael Poppleton: JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. 67-88
- Fabrício Fernandes, Robin Passama, Jean-Claude Royer: Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. 89-107
- Ian East: Concurrent/Reactive System Design with Honeysuckle. 109-118
- Jon M. Kerridge: Testing and Sampling Parallel Systems. 149-162
- Kevin M. Chalmers, Jon M. Kerridge, Imed Romdhani: Mobility in JCSP: New Mobile Channel and Mobile Process Models. 163-182
- Neil Brown: C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. 183-205
- John Markus Bjørndalen, Brian Vinter, Otto J. Anshus: PyCSP - Communicating Sequential Processes for Python. 229-248
- Carl G. Ritson, Peter H. Welch: A Process-Oriented Architecture for Complex System Modelling. 249-266
- Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause: Concurrency Control and Recovery Management for Open e-Business Transactions. 267-285
- Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen: A Versatile Hardware-Software Platform for In-Situ Monitoring Systems. 299-311
- Øyvind Teig: High Cohesion and Low Coupling: The Office Mapping Factor. 313-322
- Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud: A Native Transterpreter for the LEGO Mindstorms RCX. 339-348
- Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh: Integrating and Extending JCSP. 349-370
- Satnam Singh: Hardware/Software Synthesis and Verification Using Esterel. 371-378
- Wilson Ifill, Steve Schneider: A Step Towards Refining and Translating B Control Annotations to Handel-C. 399-424
- Gregory L. Wickstrom: Advanced System Simulation, Emulation and Test (ASSET). 443-464
- Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins: Development of a Family of Multi-Core Devices Using Hierarchical Abstraction. 465-477
- Tanya Vladimirova, Xiaofeng Wu: A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions. 493-502
- Damian J. Dimmich: Using occam-pi Primitives with the Cell Broadband Engine. 507
- Carl G. Ritson: Shared-Memory Multi-Processor Scheduling Algorithms for CCSP. 509
- Adam T. Sampson: Compiling occam to C with Tock. 511
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team