|
Concurrent Systems Engineering Series
Volume 65, 2007
Communicating Process Architectures 2007
- WoTUG-30
Edited by Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter Welch
| 978-1-58603-767-3 (print) |
| 978-1-60750-261-6 (online) |
|
|
|
|
|
Fine-grain Concurrency
|
|
1 - 19 |
| Tony Hoare
|
|
|
|
Communicating Process Architecture for Multicores
|
|
21 - 32 |
| David May
|
|
|
|
Lazy Exploration and Checking of CSP Models with CSPsim
|
|
33 - 49 |
| Phillip J. Brooke, Richard F. Paige
|
|
|
|
The Core Language of Aldwych
|
|
51 - 66 |
| Matthew Huntbach
|
|
|
|
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java
|
|
67 - 88 |
| Letu Yang, Michael R. Poppleton
|
|
|
|
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous
|
|
89 - 107 |
| Fabricio Fernandes, Robin Passama, Jean-Claude Royer
|
|
|
|
Concurrent/Reactive System Design with Honeysuckle
|
|
109 - 118 |
| Ian East
|
|
|
|
CSP and Real-Time: Reality or Illusion?
|
|
119 - 147 |
| Bojan Orlic, Jan F. Broenink
|
|
|
|
Testing and Sampling Parallel Systems
|
|
149 - 162 |
| Jon Kerridge
|
|
|
|
Mobility in JCSP: New Mobile Channel and Mobile Process Models
|
|
163 - 182 |
| Kevin Chalmers, Jon Kerridge, Imed Romdhani
|
|
|
|
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures
|
|
183 - 205 |
| Neil Brown
|
|
|
|
Design Principles of the SystemCSP Software Framework
|
|
207 - 228 |
| Bojan Orlic, Jan F. Broenink
|
|
|
|
PyCSP - Communicating Sequential Processes for Python
|
|
229 - 248 |
| John Markus Bjørndalen, Brian Vinter, Otto Anshus
|
|
|
|
A Process-Oriented Architecture for Complex System Modelling
|
|
249 - 266 |
| Carl G. Ritson, Peter H. Welch
|
|
|
|
Concurrency Control and Recovery Management for Open e-Business Transactions
|
|
267 - 285 |
| Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause
|
|
|
|
trancell - an Experimental ETC to Cell BE Translator
|
|
287 - 297 |
| Ulrik Schou Jørgensen, Espen Suenson
|
|
|
|
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems
|
|
299 - 311 |
| Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen
|
|
|
|
High Cohesion and Low Coupling: The Office Mapping Factor
|
|
313 - 322 |
| Øyvind Teig
|
|
|
|
A Process Oriented Approach to USB Driver Development
|
|
323 - 338 |
| Carl G. Ritson, Frederick R.M. Barnes
|
|
|
|
A Native Transterpreter for the LEGO Mindstorms RCX
|
|
339 - 348 |
| Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud
|
|
|
|
Integrating and Extending JCSP
|
|
349 - 370 |
| Peter Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard Sputh
|
|
|
|
Hardware/Software Synthesis and Verification Using Esterel
|
|
371 - 378 |
| Satnam Singh
|
|
|
|
Modeling and Analysis of the AMBA Bus Using CSP and B
|
|
379 - 398 |
| Alistair A. McEwan, Steve Schneider
|
|
|
|
A Step Towards Refining and Translating B Control Annotations to Handel-C
|
|
399 - 424 |
| Wilson Ifill, Steve Schneider
|
|
|
|
Towards the Formal Verification of a Java Processor in Event-B
|
|
425 - 442 |
| Neil Grant, Neil Evans
|
|
|
|
Advanced System Simulation, Emulation and Test (ASSET)
|
|
443 - 464 |
| Gregory L. Wickstrom
|
|
|
|
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction
|
|
465 - 477 |
| Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins
|
|
|
|
Domain Specific Transformations for Hardware Ray Tracing
|
|
479 - 492 |
| Tim Todman, Wayne Luk
|
|
|
|
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions
|
|
493 - 502 |
| Tanya Vladimirova, Xiaofeng Wu
|
|
|
|
Transactional CSP Processes
|
|
503 |
| Gail Cassar, Patrick Abela
|
|
|
|
Algebras of Actions in Concurrent Processes
|
|
505 |
| Mark Burgin, Marc L. Smith
|
|
|
|
Using occam-π Primitives with the Cell Broadband Engine
|
|
507 |
| Damian J. Dimmich
|
|
|
|
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP
|
|
509 |
| Carl G. Ritson
|
|
|
|
Compiling occam to C with Tock
|
|
511 |
| Adam T. Sampson
|
|
|
First Previous 1 Next Last
|
|
|
|
To order a single article, please navigate to the article first by clicking 'abstract' and then click
'Add to Cart'
|
|