The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter, editors, The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Volume 67 of Concurrent Systems Engineering Series, IOS Press, 2009. [doi]

Conference: wotug2009

Abstract is missing.

Beyond Mobility : What Next After CSP/pi?Michael Goldsmith. 1-6 [doi]

The SCOOP Concurrency Model in Java-like LanguagesFaraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik. 7-27 [doi]

Combining Partial Order Reduction with Bounded Model CheckingJosé Vander Meulen, Charles Pecheur. 29-48 [doi]

On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order CommunicationMasaki Murakami. 49-66 [doi]

Analysing gCSP Models Using Runtime and Model Analysis AlgorithmsM. M. Bezemer, Marcel A. Groothuis, Jan F. Broenink. 67-88 [doi]

Relating and Visualising CSP, VCR and Structural TracesNeil C. C. Brown, Marc L. Smith. 89-103 [doi]

Designing a Mathematically Verified I:::2:::C Device Driver Using ASDArjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester. 105-116 [doi]

Mobile Escape Analysis for occam-piFrederick R. M. Barnes. 117-134 [doi]

New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler)Øyvind Teig, Per Johan Vannebo. 135-144 [doi]

Translating ETC to LLVM AssemblyCarl G. Ritson. 145-158 [doi]

Resumable Java Bytecode - Process Mobility for the JVMJan Bækgaard Pedersen, Brian Kauke. 159-172 [doi]

OpenComRTOS: A Runtime Environment for Interacting EntitiesBernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev. 173-184 [doi]

Economics of Cloud Computing: a Statistical Genetics Case StudyJeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston. 185-195 [doi]

An Application of CoSMoS Design Methods to Pedestrian SimulationSarah Clayton, Neil Urquhart, Jon M. Kerridge. 197-204 [doi]

An Investigation into Distributed Channel Mobility Support for Communicating Process ArchitecturesKevin Chalmers, Jon M. Kerridge. 205-223 [doi]

Auto-Mobiles: Optimised Message-PassingNeil C. C. Brown. 225-238 [doi]

A Denotational Study of MobilityJoël-Alexis Bialkiewicz, Frédéric Peschanski. 239-261 [doi]

PyCSP RevisitedBrian Vinter, John Markus Bjørndalen, Rune Møllegård Friborg. 263-276 [doi]

Three Unique Implementations of Processes for PyCSPRune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter. 277-292 [doi]

CSP as a Domain-Specific Language Embedded in Python and JythonSarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert M. Newman. 293-309 [doi]

Hydra: A Python Framework for Parallel ComputingWaide B. Tristram, Karen L. Bradshaw. 311-324 [doi]

Extending CSP with Tests for AvailabilityGavin Lowe. 325-347 [doi]

Design Patterns for Communicating Systems with Deadline PropagationMartin Korsgaard, Sverre Hendseth. 349-361 [doi]

JCSP Agents-Based Service Discovery for Pervasive ComputingAnna Kosek, Jon M. Kerridge, Aly Syed, Alistair Armitage. 363-373 [doi]

Toward Process Architectures for Behavioural RoboticsJonathan Simpson, Carl G. Ritson. 375-386 [doi]

HW/SW Design Space Exploration on the Production Cell SetupMarcel A. Groothuis, Jan F. Broenink. 387-402 [doi]

Engineering Emergence: an occam-pi AdventurePeter H. Welch, Kurt C. Wallnau, Mark Klein. 403 [doi]

runs on WebDSL