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