:facetid:toc:\"db/conf/wotug/cpa2009.bht\"OK:facetid:toc:db/conf/wotug/cpa2009.bhtFrederick R. M. BarnesMobile Escape Analysis for occam-pi.CPA117-1342009Conference and Workshop Papersclosedconf/wotug/Barnes0910.3233/978-1-60750-065-0-117https://doi.org/10.3233/978-1-60750-065-0-117https://dblp.org/rec/conf/wotug/Barnes09URL#5215416Maarten M. BezemerMarcel A. GroothuisJan F. BroeninkAnalysing gCSP Models Using Runtime and Model Analysis Algorithms.CPA67-882009Conference and Workshop Papersclosedconf/wotug/BezemerGB0910.3233/978-1-60750-065-0-67https://doi.org/10.3233/978-1-60750-065-0-67https://dblp.org/rec/conf/wotug/BezemerGB09URL#5215417Joël-Alexis BialkiewiczFrédéric PeschanskiA Denotational Study of Mobility.CPA239-2612009Conference and Workshop Papersclosedconf/wotug/BialkiewiczP0910.3233/978-1-60750-065-0-239https://doi.org/10.3233/978-1-60750-065-0-239https://dblp.org/rec/conf/wotug/BialkiewiczP09URL#5215418Neil C. C. BrownAuto-Mobiles: Optimised Message-Passing.CPA225-2382009Conference and Workshop Papersclosedconf/wotug/Brown0910.3233/978-1-60750-065-0-225https://doi.org/10.3233/978-1-60750-065-0-225https://dblp.org/rec/conf/wotug/Brown09URL#5215419Neil C. C. BrownMarc L. SmithRelating and Visualising CSP, VCR and Structural Traces.CPA89-1032009Conference and Workshop Papersclosedconf/wotug/BrownS0910.3233/978-1-60750-065-0-89https://doi.org/10.3233/978-1-60750-065-0-89https://dblp.org/rec/conf/wotug/BrownS09URL#5215420Kevin ChalmersJon M. KerridgeAn Investigation into Distributed Channel Mobility Support for Communicating Process Architectures.CPA205-2232009Conference and Workshop Papersclosedconf/wotug/ChalmersK0910.3233/978-1-60750-065-0-205https://doi.org/10.3233/978-1-60750-065-0-205https://dblp.org/rec/conf/wotug/ChalmersK09URL#5215421Sarah ClaytonNeil UrquhartJon M. KerridgeAn Application of CoSMoS Design Methods to Pedestrian Simulation.CPA197-2042009Conference and Workshop Papersclosedconf/wotug/ClaytonUK0910.3233/978-1-60750-065-0-197https://doi.org/10.3233/978-1-60750-065-0-197https://dblp.org/rec/conf/wotug/ClaytonUK09URL#5215422Rune Møllegaard FriborgJohn Markus BjørndalenBrian VinterThree Unique Implementations of Processes for PyCSP.CPA277-2922009Conference and Workshop Papersclosedconf/wotug/FriborgBV0910.3233/978-1-60750-065-0-277https://doi.org/10.3233/978-1-60750-065-0-277https://dblp.org/rec/conf/wotug/FriborgBV09URL#5215423Michael GoldsmithBeyond Mobility : What Next After CSP/pi?CPA1-62009Conference and Workshop Papersclosedconf/wotug/Goldsmith0910.3233/978-1-60750-065-0-1https://doi.org/10.3233/978-1-60750-065-0-1https://dblp.org/rec/conf/wotug/Goldsmith09URL#5215424Marcel A. GroothuisJan F. BroeninkHW/SW Design Space Exploration on the Production Cell Setup.CPA387-4022009Conference and Workshop Papersclosedconf/wotug/GroothuisB0910.3233/978-1-60750-065-0-387https://doi.org/10.3233/978-1-60750-065-0-387https://dblp.org/rec/conf/wotug/GroothuisB09URL#5215425Arjen KlompHerman W. RoebbersRuud DerwigLeon BouwmeesterDesigning a Mathematically Verified I2C Device Driver Using ASD.CPA105-1162009Conference and Workshop Papersclosedconf/wotug/KlompRDB0910.3233/978-1-60750-065-0-105https://doi.org/10.3233/978-1-60750-065-0-105https://dblp.org/rec/conf/wotug/KlompRDB09URL#5215426Martin KorsgaardSverre HendsethDesign Patterns for Communicating Systems with Deadline Propagation.CPA349-3612009Conference and Workshop Papersclosedconf/wotug/KorsgaardH0910.3233/978-1-60750-065-0-349https://doi.org/10.3233/978-1-60750-065-0-349https://dblp.org/rec/conf/wotug/KorsgaardH09URL#5215427Anna Magdalena KosekJon M. KerridgeAly A. SyedAlistair ArmitageJCSP Agents-Based Service Discovery for Pervasive Computing.CPA363-3732009Conference and Workshop Papersclosedconf/wotug/KosekKSA0910.3233/978-1-60750-065-0-363https://doi.org/10.3233/978-1-60750-065-0-363https://dblp.org/rec/conf/wotug/KosekKSA09URL#5215428Gavin LoweExtending CSP with Tests for Availability.CPA325-3472009Conference and Workshop Papersclosedconf/wotug/Lowe0910.3233/978-1-60750-065-0-325https://doi.org/10.3233/978-1-60750-065-0-325https://dblp.org/rec/conf/wotug/Lowe09URL#5215429Jeremy M. R. MartinSteven J. BarrettSimon J. ThornberSilviu-Alin BacanuDale DunlapSteve WestonEconomics of Cloud Computing: a Statistical Genetics Case Study.CPA185-1952009Conference and Workshop Papersclosedconf/wotug/MartinBTBDW0910.3233/978-1-60750-065-0-185https://doi.org/10.3233/978-1-60750-065-0-185https://dblp.org/rec/conf/wotug/MartinBTBDW09URL#5215430José Vander MeulenCharles PecheurCombining Partial Order Reduction with Bounded Model Checking.CPA29-482009Conference and Workshop Papersclosedconf/wotug/MeulenP0910.3233/978-1-60750-065-0-29https://doi.org/10.3233/978-1-60750-065-0-29https://dblp.org/rec/conf/wotug/MeulenP09URL#5215431Sarah MountMohammad HammoudehSam Wilson 0001Robert M. NewmanCSP as a Domain-Specific Language Embedded in Python and Jython.CPA293-3092009Conference and Workshop Papersclosedconf/wotug/MountHWN0910.3233/978-1-60750-065-0-293https://doi.org/10.3233/978-1-60750-065-0-293https://dblp.org/rec/conf/wotug/MountHWN09URL#5215432Masaki MurakamiOn Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.CPA49-662009Conference and Workshop Papersclosedconf/wotug/Murakami0910.3233/978-1-60750-065-0-49https://doi.org/10.3233/978-1-60750-065-0-49https://dblp.org/rec/conf/wotug/Murakami09URL#5215433Jan Bækgaard PedersenBrian KaukeResumable Java Bytecode - Process Mobility for the JVM.CPA159-1722009Conference and Workshop Papersclosedconf/wotug/PedersenK0910.3233/978-1-60750-065-0-159https://doi.org/10.3233/978-1-60750-065-0-159https://dblp.org/rec/conf/wotug/PedersenK09URL#5215434Carl G. RitsonTranslating ETC to LLVM Assembly.CPA145-1582009Conference and Workshop Papersclosedconf/wotug/Ritson0910.3233/978-1-60750-065-0-145https://doi.org/10.3233/978-1-60750-065-0-145https://dblp.org/rec/conf/wotug/Ritson09URL#5215435Jonathan SimpsonCarl G. RitsonToward Process Architectures for Behavioural Robotics.CPA375-3862009Conference and Workshop Papersclosedconf/wotug/SimpsonR0910.3233/978-1-60750-065-0-375https://doi.org/10.3233/978-1-60750-065-0-375https://dblp.org/rec/conf/wotug/SimpsonR09URL#5215436Bernhard H. C. SputhOliver FaustEric VerhulstVitaliy MezhuyevOpenComRTOS: A Runtime Environment for Interacting Entities.CPA173-1842009Conference and Workshop Papersclosedconf/wotug/SputhFVM0910.3233/978-1-60750-065-0-173https://doi.org/10.3233/978-1-60750-065-0-173https://dblp.org/rec/conf/wotug/SputhFVM09URL#5215437Øyvind TeigPer Johan VanneboNew ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler).CPA135-1442009Conference and Workshop Papersclosedconf/wotug/TeigV0910.3233/978-1-60750-065-0-135https://doi.org/10.3233/978-1-60750-065-0-135https://dblp.org/rec/conf/wotug/TeigV09URL#5215438Faraz Ahmadi TorshiziJonathan S. OstroffRichard F. PaigeMarsha ChechikThe SCOOP Concurrency Model in Java-like Languages.CPA7-272009Conference and Workshop Papersclosedconf/wotug/TorshiziOPC0910.3233/978-1-60750-065-0-7https://doi.org/10.3233/978-1-60750-065-0-7https://dblp.org/rec/conf/wotug/TorshiziOPC09URL#5215439Waide B. TristramKaren L. BradshawHydra: A Python Framework for Parallel Computing.CPA311-3242009Conference and Workshop Papersclosedconf/wotug/TristramB0910.3233/978-1-60750-065-0-311https://doi.org/10.3233/978-1-60750-065-0-311https://dblp.org/rec/conf/wotug/TristramB09URL#5215440Brian VinterJohn Markus BjørndalenRune Møllegaard FriborgPyCSP Revisited.CPA263-2762009Conference and Workshop Papersclosedconf/wotug/VinterBF0910.3233/978-1-60750-065-0-263https://doi.org/10.3233/978-1-60750-065-0-263https://dblp.org/rec/conf/wotug/VinterBF09URL#5215441Peter H. WelchKurt C. WallnauMark KleinEngineering Emergence: an occam-pi Adventure.CPA4032009Conference and Workshop Papersclosedconf/wotug/WelchWK0910.3233/978-1-60750-065-0-403https://doi.org/10.3233/978-1-60750-065-0-403https://dblp.org/rec/conf/wotug/WelchWK09URL#5215442Peter H. WelchHerman W. RoebbersJan F. BroeninkFred R. M. BarnesCarl G. RitsonAdam T. SampsonGardiner S. StilesBrian VinterThe thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009CPAConcurrent Systems Engineering Series67IOS Press2009Editorshipconf/wotug/2009http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073https://dblp.org/rec/conf/wotug/2009URL#5222148