Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 39-52, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Greg Michaelson |
Costing by Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 1-2, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jan Bækgaard Pedersen, Marc L. Smith |
ProcessJ: A Possible Future of Process-Oriented Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 133-156, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Carl G. Ritson, Frederick R. M. Barnes |
An Evaluation of Intel's Restricted Transactional Memory for CPAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 271-292, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Gibson-Robinson |
FDR3: the Future of CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 321-322, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Gibson-Robinson |
Efficient Simulation of CSP-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 185-204, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Gibson-Robinson |
Using FDR to Model Check CSP-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 323-324, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Øyvind Teig |
Selective Choice "Feathering" with XCHANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 205-216, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll |
Exploring GPGPU Acceleration of Process-Oriented Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 249-262, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Andrew Turner |
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 3-4, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter |
Scaling PyCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 81-92, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Sarwar Alam, Humaira Kamal, Alan Wagner |
Service Oriented Programming in MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 93-112, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Martin Rehr, Kenneth Skovhede, Brian Vinter |
BPU Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 233-248, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.) |
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![Open Channel Publishing Ltd., 978-0-9565409-7-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch |
An occam Model of XCHANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 329-330, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Rick D. Beton |
An Introduction to Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 325-326, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Antoon Hendrik Boode, Hajo Broersma, Jan F. Broenink |
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 57-80, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Paul Howells, Mark d'Inverno |
Successful Termination in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 21-38, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Michael Quinn Jones, Jan Bækgaard Pedersen |
The Distributed Application Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 217-232, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Andrew Bate |
Scalable Performance for Scala Message-Passing Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 113-132, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Christopher C. R. Jones |
A Personal Perspective on the State of HPC in 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 263-270, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Frederick R. M. Barnes |
The Guppy Language: an Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 327-328, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch |
Life of occam-Pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 293-318, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Paul Howells, Mark d'Inverno |
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 157-184, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes |
Mutually Assured Destruction (or the Joy of Sync). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 319-320, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Øyvind Teig |
Names of XCHAN Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 331-332, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Gibson-Robinson, Michael Goldsmith |
The Meaning and Implementation of SKIP in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 5-20, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch |
occam Obviously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 213-214, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ye Li |
Implementation of an Agent-based Model with TBB Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | James Whitehead II |
Designing a Concurrent File Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 1-14, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Øyvind Teig |
XCHANs: Notes on a New Channel Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 155-170, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch |
Cancellable Servers - a Pattern for Curiousity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Ellis, Frederick R. M. Barnes |
Data Escape Analysis for Process Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 217-218, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | William B. Gardner, Yuriy Solovyov |
Supporting Timed CSP Operators in CSP++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 89-106, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | S. L. M. Barrocas, Marcel Oliveira |
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 15-36, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch |
Unfinished Business - occam-pi². ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | S. L. M. Barrocas |
JCircus Demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alex Cole, Alistair A. McEwan, Geoff Mainland |
Beauty And The Beast: Exploiting GPUs In Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 121-134, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Anna Magdalena Kosek, Oliver Gehrke |
A Distributed Multi-Agent Control System for Power Consumption in Buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 37-52, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ian R. East |
A CPA Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper |
Specification of APERTIF Polyphase Filter Bank in ClaSH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 53-64, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Andrew Bate, Gavin Lowe |
A Debugger for Communicating Scala Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 135-154, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Mads Ohm Larsen, Brian Vinter |
Exception Handling and Checkpointing in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 201-212, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins |
A High Performance Reconfigurable Architecture for Flash File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 171-184, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alex Cole |
Handel-C++ - Adding Syntactic Support to C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Neil J. Perrins, Alistair A. McEwan |
SEU Protection for High-Reliability Flash File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 219-220, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.) |
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![Open Channel Publishing Ltd., 978-0-9565409-5-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Richard Miller |
Polyphonic Processors - Fantasy on an FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Oguzcan Oguz, Jan F. Broenink, Angelika Mader |
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 65-88, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Maarten M. Bezemer, Robert J. W. Wilterdink |
Developing JIWY using TERRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Adam T. Sampson |
Process-Oriented Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 215-216, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Kevin Chalmers |
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 107-120, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink |
Design and Use of CSP Meta-Model for Embedded Control Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 185-200, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Matthew M. Huntbach |
A Model for Concurrency Using Single-Writer Single-Assignment Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 255-272, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jon M. Kerridge |
Experiments in Multicore and Distributed Parallel Processing using JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 131-142, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown |
Adding Formal Verification to occam-π. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 379, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (eds.) |
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![IOS Press, 978-1-60750-773-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | James Whitehead II |
Serving Web Content with Dynamic Process Networks in Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 209-226, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Korsgaard, Sverre Hendseth |
The Computation Time Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 273-286, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Douglas N. Warren |
Prioritised Choice over Multiway Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 87-110, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bonnici, Peter H. Welch |
Mobile Processes and Call Channels with Variant Interfaces (a Duality). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 377, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis |
Process-Oriented Subsumption Architectures in Swarm Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 303-316, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rune Møllegaard Friborg, Brian Vinter |
Verification of a Dynamic Channel Model using the SPIN Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 35-54, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carl G. Ritson, Paul S. Andrews, Adam T. Sampson |
Object Store Based Simulation Interworking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 243-253, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alex Cole, Alistair A. McEwan, Satnam Singh |
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 111-130, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe |
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 341-362, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson |
Concurrent Event-driven Programming in occam-π for the Arduino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 177-193, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dan Slipper, Alistair A. McEwan |
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 317-327, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anna Magdalena Kosek, Aly A. Syed, Jon M. Kerridge |
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 143-156, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud |
The Flying Gator: Towards Aerial Robotics in occam-π. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 329-340, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
Implementing Generalised Alt - A Case Study in Validated Design using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 1-34, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bækgaard Pedersen, Matthew Sowders |
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 71-85, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Chalmers |
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 227-242, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arash Saifhashemi, Peter A. Beerel |
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 287-302, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink |
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 157-175, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Skovhede, Morten N. Larsen, Brian Vinter |
Programming the CELL-BE using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 55-70, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | James W. Hanlon, Simon J. Hollis |
Fast Distributed Process Creation with the XMOS XS1 Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 195-207, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga |
Development of an ML-based Verification Tool for Timed CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 363-375, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston |
Economics of Cloud Computing: a Statistical Genetics Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 185-195, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Goldsmith |
Beyond Mobility : What Next After CSP/pi? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 1-6, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bækgaard Pedersen, Brian Kauke |
Resumable Java Bytecode - Process Mobility for the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 159-172, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anna Magdalena Kosek, Jon M. Kerridge, Aly A. Syed, Alistair Armitage |
JCSP Agents-Based Service Discovery for Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 363-373, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Murakami |
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 49-66, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Waide B. Tristram, Karen L. Bradshaw |
Hydra: A Python Framework for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 311-324, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Mount, Mohammad Hammoudeh, Sam Wilson 0001, Robert M. Newman |
CSP as a Domain-Specific Language Embedded in Python and Jython. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 293-309, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Clayton, Neil Urquhart, Jon M. Kerridge |
An Application of CoSMoS Design Methods to Pedestrian Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 197-204, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Arjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester |
Designing a Mathematically Verified I2C Device Driver Using ASD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 105-116, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joël-Alexis Bialkiewicz, Frédéric Peschanski |
A Denotational Study of Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 239-261, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Korsgaard, Sverre Hendseth |
Design Patterns for Communicating Systems with Deadline Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 349-361, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carl G. Ritson |
Translating ETC to LLVM Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 145-158, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neil C. C. Brown |
Auto-Mobiles: Optimised Message-Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 225-238, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter (eds.) |
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![IOS Press, 978-1-60750-065-0 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Marcel A. Groothuis, Jan F. Broenink |
HW/SW Design Space Exploration on the Production Cell Setup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 387-402, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neil C. C. Brown, Marc L. Smith |
Relating and Visualising CSP, VCR and Structural Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 89-103, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink |
Analysing gCSP Models Using Runtime and Model Analysis Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 67-88, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Chalmers, Jon M. Kerridge |
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 205-223, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Øyvind Teig, Per Johan Vannebo |
New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 135-144, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Brian Vinter, John Markus Bjørndalen, Rune Møllegaard Friborg |
PyCSP Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 263-276, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Welch, Kurt C. Wallnau, Mark Klein |
Engineering Emergence: an occam-pi Adventure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 403, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | José Vander Meulen, Charles Pecheur |
Combining Partial Order Reduction with Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 29-48, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|