db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
get_paper: query "update proceedings set accessed = NOW(), accesses = accesses + 1 where proceedingid = " failed.
WoTUG - Proceedings details

Proceedings details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Title: Communicating Process Architectures 2009
Editors: db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Herman Roebbers, Jan F. Broenink, Frederick R. M. Barnes, Carl G. Ritson, Adam T. Sampson, G. S. Stiles, Brian Vinter
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Publisher: IOS Press, Amsterdam
ISBN: 978-1-60750-065-0
ISSN: 1383-7575
Items:

Beyond Mobility - What Next After CSP/pi? Michael Goldsmith, 6 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

The SCOOP Concurrency Model in Java-like Languages Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik, 21 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Combining Partial Order Reduction with Bounded Model Checking José Vander Meulen, Charles Pecheur, 20 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication Masaki Murakami, 18 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Analysing gCSP Models Using Runtime and Model Analysis Algorithms Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink, 22 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Relating and Visualising CSP, VCR and Structural Traces Neil C.C. Brown, Marc L. Smith, 15 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Designing a Mathematically Verified I2C Device Driver using ASD Arjen Klomp, Herman Roebbers, Ruud Derwig, Leon Bouwmeester, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Mobile Escape Analysis for occam-pi Frederick R. M. Barnes, 18 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

New ALT for Application Timers and Synchronisation Point Scheduling Øyvind Teig, Per Johan Vannebo, 10 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Translating ETC to LLVM Assembly Carl G. Ritson, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM Jan Bækgaard Pedersen, Brian Kauke, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

OpenComRTOS: A Runtime Environment for Interacting Entities Bernhard H.C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Economics of Cloud Computing: a Statistical Genetics Case Study Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston, 11 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

An Application of CoSMoS Design Methods to Pedestrian Simulation Sarah Clayton, Neil Urquhart, Jon Kerridge, 8 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures Kevin Chalmers, Jon Kerridge, 19 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Auto-Mobiles: Optimised Message-Passing Neil C.C. Brown, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

A Denotational Study of Mobility Joël-Alexis Bialkiewicz, Frederic Peschanski, 23 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

PyCSP Revisited Brian Vinter, John Markus Bjørndalen, Rune Møllegard Friborg, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Three Unique Implementations of Processes for PyCSP Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter, 16 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

CSP as a Domain-Specific Language Embedded in Python and Jython Sarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert Newman, 17 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Hydra: A Python Framework for Parallel Computing Waide B. Tristram, Karen Bradshaw, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Extending CSP with Tests for Availability Gavin Lowe, 23 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Design Patterns for Communicating Systems with Deadline Propagation Martin Korsgaard, Sverre Hendseth, 13 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

JCSP Agents-Based Service Discovery for Pervasive Computing Anna Kosek, Jon Kerridge, Aly Syed, Alistair Armitage, 11 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Toward Process Architectures for Behavioural Robotics Jonathan Simpson, Carl G. Ritson, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

HW/SW Design Space Exploration on the Production Cell Setup Marcel A. Groothuis, Jan F. Broenink, 16 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Engineering Emergence: an occam-pi Adventure Peter H. Welch, Kurt Wallnau, Mark Klein, 1 pagedb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

CPA Survival Guide Herman Roebbersdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

An Overview of ASD - Formal Methods in Daily Use Guy Broadfootdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

occam on the Arduino Adam T. Sampson, Matthew C. Jadud, Christian L. Jacobsendb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Use of Formal Models in Model-driven Design of Embedded software Oguzcan Oguz, Jan F. Broeninkdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Concurrency First (but we'd better get it right!) Peter H. Welchdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Clocks Adam T. Sampson, Neil C.C. Browndb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Traces for Testing Neil C.C. Browndb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems Irfan Mirdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Systems Modelling and Integration Dan Slipperdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Hardware/Software Co-Design Language Development, An EngD Introduction Alex Coledb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

Robust Robot Software using Process Orientation Cagri Yalcin, Jan F. Broeninkdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.