default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34. CPA 2012: Dundee, Scotland, UK
- Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson:
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012. Open Channel Publishing Ltd. 2012, ISBN 978-0-9565409-5-9 - James Whitehead II:
Designing a Concurrent File Server. 1-14 - S. L. M. Barrocas, Marcel Oliveira:
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. 15-36 - Anna Magdalena Kosek, Oliver Gehrke:
A Distributed Multi-Agent Control System for Power Consumption in Buildings. 37-52 - Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper:
Specification of APERTIF Polyphase Filter Bank in ClaSH. 53-64 - Oguzcan Oguz, Jan F. Broenink, Angelika Mader:
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. 65-88 - William B. Gardner, Yuriy Solovyov:
Supporting Timed CSP Operators in CSP++. 89-106 - Kevin Chalmers:
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. 107-120 - Alex Cole, Alistair A. McEwan, Geoff Mainland:
Beauty And The Beast: Exploiting GPUs In Haskell. 121-134 - Andrew Bate, Gavin Lowe:
A Debugger for Communicating Scala Objects. 135-154 - Øyvind Teig:
XCHANs: Notes on a New Channel Type. 155-170 - Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins:
A High Performance Reconfigurable Architecture for Flash File Systems. 171-184 - Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink:
Design and Use of CSP Meta-Model for Embedded Control Software Development. 185-200 - Mads Ohm Larsen, Brian Vinter:
Exception Handling and Checkpointing in CSP. 201-212 - Peter H. Welch:
occam Obviously. 213-214 - Adam T. Sampson:
Process-Oriented Building Blocks. 215-216 - Martin Ellis, Frederick R. M. Barnes:
Data Escape Analysis for Process Oriented Systems. 217-218 - Neil J. Perrins, Alistair A. McEwan:
SEU Protection for High-Reliability Flash File Systems. 219-220 - Peter H. Welch:
Cancellable Servers - a Pattern for Curiousity. - Ian R. East:
A CPA Series. - Richard Miller:
Polyphonic Processors - Fantasy on an FPGA. - Maarten M. Bezemer, Robert J. W. Wilterdink:
Developing JIWY using TERRA. - S. L. M. Barrocas:
JCircus Demo. - Peter H. Welch:
Unfinished Business - occam-pi². - Ye Li:
Implementation of an Agent-based Model with TBB Technique. - Alex Cole:
Handel-C++ - Adding Syntactic Support to C++.
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-12-13 19:00 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:
