default search action
CPA 2007: Guildford, Surrey, UK
- Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch:
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. Concurrent Systems Engineering Series 65, IOS Press 2007, ISBN 978-1-58603-767-3 - Tony Hoare:
Fine-grain Concurrency. 1-19 - David May:
Communicating Process Architecture for Multicores. 21-32 - Phillip J. Brooke, Richard F. Paige:
Lazy Exploration and Checking of CSP Models with CSPsim. 33-49 - 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 de Alexandria 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 - Bojan Orlic, Jan F. Broenink:
CSP and Real-Time: Reality or Illusion? 119-147 - Jon M. Kerridge:
Testing and Sampling Parallel Systems. 149-162 - Kevin 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 - Bojan Orlic, Jan F. Broenink:
Design Principles of the SystemCSP Software Framework. 207-228 - 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 - Ulrik Schou Jørgensen, Espen Suenson:
trancell - an Experimental ETC to Cell BE Translator. 287-297 - 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 - Carl G. Ritson, Fred R. M. Barnes:
A Process Oriented Approach to USB Driver Development. 323-338 - 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 - Alistair A. McEwan, Steve A. Schneider:
Modeling and Analysis of the AMBA Bus Using CSP and B. 379-398 - Wilson Ifill, Steve A. Schneider:
A Step Towards Refining and Translating B Control Annotations to Handel-C. 399-424 - Neil Grant, Neil Evans:
Towards the Formal Verification of a Java Processor in Event-B. 425-442 - 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 - Tim Todman, Wayne Luk:
Domain Specific Transformations for Hardware Ray Tracing. 479-492 - Tanya Vladimirova, Xiaofeng Wu:
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions. 493-502 - Gail Cassar, Patrick Abela:
Transactional CSP Processes. 503 - Mark Burgin, Marc L. Smith:
Algebras of Actions in Concurrent Processes. 505 - 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
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-11-15 19:20 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: