| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela.  |
CPA  |
2013 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson |
Costing by Construction. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jan Bækgaard Pedersen, Marc L. Smith |
ProcessJ: A Possible Future of Process-Oriented Design. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Carl G. Ritson, Frederick R. M. Barnes |
An Evaluation of Intel's Restricted Transactional Memory for CPAs. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gibson-Robinson |
FDR3: the Future of CSP Model Checking. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gibson-Robinson |
Efficient Simulation of CSP-Like Languages. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gibson-Robinson |
Using FDR to Model Check CSP-Like Languages. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Øyvind Teig |
Selective Choice "Feathering" with XCHANs. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll |
Exploring GPGPU Acceleration of Process-Oriented Simulations. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andrew Turner |
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter |
Scaling PyCSP. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sarwar Alam, Humaira Kamal, Alan Wagner |
Service Oriented Programming in MPI. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Martin Rehr, Kenneth Skovhede, Brian Vinter |
BPU Simulator. |
CPA |
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 |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch |
An occam Model of XCHANs. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Rick D. Beton |
An Introduction to Go. |
CPA |
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. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Paul Howells, Mark d'Inverno |
Successful Termination in Timed CSP. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Michael Quinn Jones, Jan Bækgaard Pedersen |
The Distributed Application Debugger. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andrew Bate |
Scalable Performance for Scala Message-Passing Concurrency. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christopher C. R. Jones |
A Personal Perspective on the State of HPC in 2013. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Frederick R. M. Barnes |
The Guppy Language: an Update. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch |
Life of occam-Pi. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Paul Howells, Mark d'Inverno |
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes |
Mutually Assured Destruction (or the Joy of Sync). |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Øyvind Teig |
Names of XCHAN Implementations. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gibson-Robinson, Michael Goldsmith |
The Meaning and Implementation of SKIP in CSP. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch |
occam Obviously. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ye Li |
Implementation of an Agent-based Model with TBB Technique. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | James Whitehead II |
Designing a Concurrent File Server. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Øyvind Teig |
XCHANs: Notes on a New Channel Type. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch |
Cancellable Servers - a Pattern for Curiousity. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Ellis, Frederick R. M. Barnes |
Data Escape Analysis for Process Oriented Systems. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | William B. Gardner, Yuriy Solovyov |
Supporting Timed CSP Operators in CSP++. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | S. L. M. Barrocas, Marcel Oliveira |
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Welch |
Unfinished Business - occam-pi². |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | S. L. M. Barrocas |
JCircus Demo. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alex Cole, Alistair A. McEwan, Geoff Mainland |
Beauty And The Beast: Exploiting GPUs In Haskell. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Anna Magdalena Kosek, Oliver Gehrke |
A Distributed Multi-Agent Control System for Power Consumption in Buildings. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian R. East |
A CPA Series. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper |
Specification of APERTIF Polyphase Filter Bank in ClaSH. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrew Bate, Gavin Lowe |
A Debugger for Communicating Scala Objects. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mads Ohm Larsen, Brian Vinter |
Exception Handling and Checkpointing in CSP. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins |
A High Performance Reconfigurable Architecture for Flash File Systems. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alex Cole |
Handel-C++ - Adding Syntactic Support to C++. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Neil J. Perrins, Alistair A. McEwan |
SEU Protection for High-Reliability Flash File Systems. |
CPA |
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 |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Richard Miller |
Polyphonic Processors - Fantasy on an FPGA. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Oguzcan Oguz, Jan F. Broenink, Angelika Mader |
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maarten M. Bezemer, Robert J. W. Wilterdink |
Developing JIWY using TERRA. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Adam T. Sampson |
Process-Oriented Building Blocks. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kevin Chalmers |
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. |
CPA |
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. |
CPA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Matthew M. Huntbach |
A Model for Concurrency Using Single-Writer Single-Assignment Variables. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon M. Kerridge |
Experiments in Multicore and Distributed Parallel Processing using JCSP. |
CPA |
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-π. |
CPA |
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 |
CPA |
2011 |
DBLP BibTeX RDF |
|
| 1 | James Whitehead II |
Serving Web Content with Dynamic Process Networks in Go. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Korsgaard, Sverre Hendseth |
The Computation Time Process Model. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas N. Warren |
Prioritised Choice over Multiway Synchronisation. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bonnici, Peter H. Welch |
Mobile Processes and Call Channels with Variant Interfaces (a Duality). |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis |
Process-Oriented Subsumption Architectures in Swarm Robotic Systems. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rune Møllegaard Friborg, Brian Vinter |
Verification of a Dynamic Channel Model using the SPIN Model Checker. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl G. Ritson, Paul S. Andrews, Adam T. Sampson |
Object Store Based Simulation Interworking. |
CPA |
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. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinao Isobe |
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. |
CPA |
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. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Slipper, Alistair A. McEwan |
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. |
CPA |
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. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud |
The Flying Gator: Towards Aerial Robotics in occam-π. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin Lowe |
Implementing Generalised Alt - A Case Study in Validated Design using CSP. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bækgaard Pedersen, Matthew Sowders |
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Chalmers |
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Saifhashemi, Peter A. Beerel |
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces. |
CPA |
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. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Skovhede, Morten N. Larsen, Brian Vinter |
Programming the CELL-BE using CSP. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James W. Hanlon, Simon J. Hollis |
Fast Distributed Process Creation with the XMOS XS1 Architecture. |
CPA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga |
Development of an ML-based Verification Tool for Timed CSP Processes. |
CPA |
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. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goldsmith |
Beyond Mobility : What Next After CSP/pi? |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bækgaard Pedersen, Brian Kauke |
Resumable Java Bytecode - Process Mobility for the JVM. |
CPA |
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. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Murakami |
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Waide B. Tristram, Karen L. Bradshaw |
Hydra: A Python Framework for Parallel Computing. |
CPA |
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. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Clayton, Neil Urquhart, Jon M. Kerridge |
An Application of CoSMoS Design Methods to Pedestrian Simulation. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester |
Designing a Mathematically Verified I2C Device Driver Using ASD. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël-Alexis Bialkiewicz, Frédéric Peschanski |
A Denotational Study of Mobility. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Korsgaard, Sverre Hendseth |
Design Patterns for Communicating Systems with Deadline Propagation. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl G. Ritson |
Translating ETC to LLVM Assembly. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. C. Brown |
Auto-Mobiles: Optimised Message-Passing. |
CPA |
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 |
CPA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcel A. Groothuis, Jan F. Broenink |
HW/SW Design Space Exploration on the Production Cell Setup. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. C. Brown, Marc L. Smith |
Relating and Visualising CSP, VCR and Structural Traces. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink |
Analysing gCSP Models Using Runtime and Model Analysis Algorithms. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Chalmers, Jon M. Kerridge |
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. |
CPA |
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). |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Vinter, John Markus Bjørndalen, Rune Møllegaard Friborg |
PyCSP Revisited. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Welch, Kurt C. Wallnau, Mark Klein |
Engineering Emergence: an occam-pi Adventure. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Vander Meulen, Charles Pecheur |
Combining Partial Order Reduction with Bounded Model Checking. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license