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
(Eds.): The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009.
IOS Press 2009 Concurrent Systems Engineering Series
: On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.
, Per Johan Vannebo
: New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler).
: Extending CSP with Tests for Availability.