![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
CPA 2009: Eindhoven, The Netherlands
- Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter:
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Concurrent Systems Engineering Series 67, IOS Press 2009, ISBN 978-1-60750-065-0 - Michael Goldsmith:
Beyond Mobility : What Next After CSP/pi? 1-6 - Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik:
The SCOOP Concurrency Model in Java-like Languages. 7-27 - José Vander Meulen, Charles Pecheur:
Combining Partial Order Reduction with Bounded Model Checking. 29-48 - Masaki Murakami:
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. 49-66 - Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink:
Analysing gCSP Models Using Runtime and Model Analysis Algorithms. 67-88 - Neil C. C. Brown, Marc L. Smith:
Relating and Visualising CSP, VCR and Structural Traces. 89-103 - Arjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester:
Designing a Mathematically Verified I2C Device Driver Using ASD. 105-116 - Frederick R. M. Barnes:
Mobile Escape Analysis for occam-pi. 117-134 - Øyvind Teig, Per Johan Vannebo:
New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler). 135-144 - Carl G. Ritson:
Translating ETC to LLVM Assembly. 145-158 - Jan Bækgaard Pedersen
, Brian Kauke:
Resumable Java Bytecode - Process Mobility for the JVM. 159-172 - Bernhard H. C. Sputh, Oliver Faust
, Eric Verhulst, Vitaliy Mezhuyev
:
OpenComRTOS: A Runtime Environment for Interacting Entities. 173-184 - 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. 185-195 - Sarah Clayton, Neil Urquhart, Jon M. Kerridge
:
An Application of CoSMoS Design Methods to Pedestrian Simulation. 197-204 - Kevin Chalmers, Jon M. Kerridge
:
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. 205-223 - Neil C. C. Brown:
Auto-Mobiles: Optimised Message-Passing. 225-238 - Joël-Alexis Bialkiewicz, Frédéric Peschanski:
A Denotational Study of Mobility. 239-261 - Brian Vinter, John Markus Bjørndalen, Rune Møllegaard Friborg:
PyCSP Revisited. 263-276 - Rune Møllegaard Friborg, John Markus Bjørndalen, Brian Vinter:
Three Unique Implementations of Processes for PyCSP. 277-292 - Sarah Mount, Mohammad Hammoudeh
, Sam Wilson, Robert M. Newman:
CSP as a Domain-Specific Language Embedded in Python and Jython. 293-309 - Waide B. Tristram, Karen L. Bradshaw:
Hydra: A Python Framework for Parallel Computing. 311-324 - Gavin Lowe:
Extending CSP with Tests for Availability. 325-347 - Martin Korsgaard, Sverre Hendseth:
Design Patterns for Communicating Systems with Deadline Propagation. 349-361 - Anna Magdalena Kosek, Jon M. Kerridge
, Aly A. Syed, Alistair Armitage:
JCSP Agents-Based Service Discovery for Pervasive Computing. 363-373 - Jonathan Simpson, Carl G. Ritson:
Toward Process Architectures for Behavioural Robotics. 375-386 - Marcel A. Groothuis, Jan F. Broenink:
HW/SW Design Space Exploration on the Production Cell Setup. 387-402 - Peter H. Welch, Kurt C. Wallnau, Mark Klein:
Engineering Emergence: an occam-pi Adventure. 403
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.