Search dblp for Publications

export results for "toc:db/conf/wotug/cpa2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wotug/Barnes09,
  author       = {Frederick R. M. Barnes},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Mobile Escape Analysis for occam-pi},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {117--134},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-117},
  doi          = {10.3233/978-1-60750-065-0-117},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Barnes09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/BezemerGB09,
  author       = {Maarten M. Bezemer and
                  Marcel A. Groothuis and
                  Jan F. Broenink},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Analysing gCSP Models Using Runtime and Model Analysis Algorithms},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {67--88},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-67},
  doi          = {10.3233/978-1-60750-065-0-67},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/BezemerGB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/BialkiewiczP09,
  author       = {Jo{\"{e}}l{-}Alexis Bialkiewicz and
                  Fr{\'{e}}d{\'{e}}ric Peschanski},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {A Denotational Study of Mobility},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {239--261},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-239},
  doi          = {10.3233/978-1-60750-065-0-239},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/BialkiewiczP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/Brown09,
  author       = {Neil C. C. Brown},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Auto-Mobiles: Optimised Message-Passing},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {225--238},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-225},
  doi          = {10.3233/978-1-60750-065-0-225},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Brown09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/BrownS09,
  author       = {Neil C. C. Brown and
                  Marc L. Smith},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Relating and Visualising CSP, {VCR} and Structural Traces},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {89--103},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-89},
  doi          = {10.3233/978-1-60750-065-0-89},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/BrownS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/ChalmersK09,
  author       = {Kevin Chalmers and
                  Jon M. Kerridge},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {An Investigation into Distributed Channel Mobility Support for Communicating
                  Process Architectures},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {205--223},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-205},
  doi          = {10.3233/978-1-60750-065-0-205},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/ChalmersK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/ClaytonUK09,
  author       = {Sarah Clayton and
                  Neil Urquhart and
                  Jon M. Kerridge},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {An Application of CoSMoS Design Methods to Pedestrian Simulation},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {197--204},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-197},
  doi          = {10.3233/978-1-60750-065-0-197},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/ClaytonUK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/FriborgBV09,
  author       = {Rune M{\o}llegaard Friborg and
                  John Markus Bj{\o}rndalen and
                  Brian Vinter},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Three Unique Implementations of Processes for PyCSP},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {277--292},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-277},
  doi          = {10.3233/978-1-60750-065-0-277},
  timestamp    = {Wed, 04 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/FriborgBV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/Goldsmith09,
  author       = {Michael Goldsmith},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Beyond Mobility : What Next After CSP/pi?},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {1--6},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-1},
  doi          = {10.3233/978-1-60750-065-0-1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Goldsmith09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/GroothuisB09,
  author       = {Marcel A. Groothuis and
                  Jan F. Broenink},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {{HW/SW} Design Space Exploration on the Production Cell Setup},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {387--402},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-387},
  doi          = {10.3233/978-1-60750-065-0-387},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/GroothuisB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/KlompRDB09,
  author       = {Arjen Klomp and
                  Herman W. Roebbers and
                  Ruud Derwig and
                  Leon Bouwmeester},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Designing a Mathematically Verified I\({}^{\mbox{2}}\)C Device Driver
                  Using {ASD}},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {105--116},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-105},
  doi          = {10.3233/978-1-60750-065-0-105},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/KlompRDB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/KorsgaardH09,
  author       = {Martin Korsgaard and
                  Sverre Hendseth},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Design Patterns for Communicating Systems with Deadline Propagation},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {349--361},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-349},
  doi          = {10.3233/978-1-60750-065-0-349},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/KorsgaardH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/KosekKSA09,
  author       = {Anna Magdalena Kosek and
                  Jon M. Kerridge and
                  Aly A. Syed and
                  Alistair Armitage},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {{JCSP} Agents-Based Service Discovery for Pervasive Computing},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {363--373},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-363},
  doi          = {10.3233/978-1-60750-065-0-363},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/KosekKSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/Lowe09,
  author       = {Gavin Lowe},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Extending {CSP} with Tests for Availability},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {325--347},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-325},
  doi          = {10.3233/978-1-60750-065-0-325},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Lowe09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/MartinBTBDW09,
  author       = {Jeremy M. R. Martin and
                  Steven J. Barrett and
                  Simon J. Thornber and
                  Silviu{-}Alin Bacanu and
                  Dale Dunlap and
                  Steve Weston},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Economics of Cloud Computing: a Statistical Genetics Case Study},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {185--195},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-185},
  doi          = {10.3233/978-1-60750-065-0-185},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/MartinBTBDW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/MeulenP09,
  author       = {Jos{\'{e}} Vander Meulen and
                  Charles Pecheur},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Combining Partial Order Reduction with Bounded Model Checking},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {29--48},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-29},
  doi          = {10.3233/978-1-60750-065-0-29},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/MeulenP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/MountHWN09,
  author       = {Sarah Mount and
                  Mohammad Hammoudeh and
                  Sam Wilson and
                  Robert M. Newman},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {{CSP} as a Domain-Specific Language Embedded in Python and Jython},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {293--309},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-293},
  doi          = {10.3233/978-1-60750-065-0-293},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/MountHWN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/Murakami09,
  author       = {Masaki Murakami},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {On Congruence Property of Scope Equivalence for Concurrent Programs
                  with Higher-Order Communication},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {49--66},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-49},
  doi          = {10.3233/978-1-60750-065-0-49},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Murakami09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/PedersenK09,
  author       = {Jan B{\ae}kgaard Pedersen and
                  Brian Kauke},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Resumable Java Bytecode - Process Mobility for the {JVM}},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {159--172},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-159},
  doi          = {10.3233/978-1-60750-065-0-159},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/PedersenK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/Ritson09,
  author       = {Carl G. Ritson},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Translating {ETC} to {LLVM} Assembly},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {145--158},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-145},
  doi          = {10.3233/978-1-60750-065-0-145},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Ritson09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/SimpsonR09,
  author       = {Jonathan Simpson and
                  Carl G. Ritson},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Toward Process Architectures for Behavioural Robotics},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {375--386},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-375},
  doi          = {10.3233/978-1-60750-065-0-375},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/SimpsonR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/SputhFVM09,
  author       = {Bernhard H. C. Sputh and
                  Oliver Faust and
                  Eric Verhulst and
                  Vitaliy Mezhuyev},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {OpenComRTOS: {A} Runtime Environment for Interacting Entities},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {173--184},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-173},
  doi          = {10.3233/978-1-60750-065-0-173},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/SputhFVM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/TeigV09,
  author       = {{\O}yvind Teig and
                  Per Johan Vannebo},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {New {ALT} for Application Timers and Synchronisation Point Scheduling
                  (Two excerpts from a small channel based scheduler)},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {135--144},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-135},
  doi          = {10.3233/978-1-60750-065-0-135},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/TeigV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/TorshiziOPC09,
  author       = {Faraz Ahmadi Torshizi and
                  Jonathan S. Ostroff and
                  Richard F. Paige and
                  Marsha Chechik},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {The {SCOOP} Concurrency Model in Java-like Languages},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {7--27},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-7},
  doi          = {10.3233/978-1-60750-065-0-7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/TorshiziOPC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/TristramB09,
  author       = {Waide B. Tristram and
                  Karen L. Bradshaw},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Hydra: {A} Python Framework for Parallel Computing},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {311--324},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-311},
  doi          = {10.3233/978-1-60750-065-0-311},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/TristramB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/VinterBF09,
  author       = {Brian Vinter and
                  John Markus Bj{\o}rndalen and
                  Rune M{\o}llegaard Friborg},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {PyCSP Revisited},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {263--276},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-263},
  doi          = {10.3233/978-1-60750-065-0-263},
  timestamp    = {Wed, 04 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/VinterBF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/WelchWK09,
  author       = {Peter H. Welch and
                  Kurt C. Wallnau and
                  Mark Klein},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {Engineering Emergence: an occam-pi Adventure},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {403},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-403},
  doi          = {10.3233/978-1-60750-065-0-403},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/WelchWK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wotug/2009,
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073},
  isbn         = {978-1-60750-065-0},
  timestamp    = {Tue, 19 Nov 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wotug/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.