db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{WelchBarnes05,
  title =        "{M}obile {B}arriers for occam-pi: {S}emantics, {I}mplementation and {A}pplication",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Welch, Peter H. and Barnes,  Frederick R. M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Broenink,  Jan F. and Roebbers,  Herman and Sunter,  Johan P. E. and Welch, Peter H. and Wood,  David C.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "289--316",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2005",
  isbn=          "978-1-58603-561-7",
  year=          "2005",
  month=         "sep",
  abstract=      "This paper introduces a safe language binding for CSP
     multiway events (barriers\&amp;\#8212;both static and
     mobile) that has been built into occam-pi (an extension of
     the classical occam language with dynamic parallelism,
     mobile processes and mobile channels). Barriers provide a
     simple way for synchronising multiple processes and are the
     fundamental control mechanism underlying both CSP
     (Communicating Sequential Processes) and BSP (Bulk
     Synchronous Parallelism). Formal semantics (through
     modelling in classical CSP), implementation details and
     early performance benchmarks (16 nanoseconds per process per
     barrier synchronisation on a 3.2 GHz Pentium IV) are
     presented, along with some likely directions for future
     research. Applications are outlined for the fine-grained
     modelling of dynamic systems, where barriers are used for
     maintaining simulation time and the phased execution of time
     steps, coordinating safe and desired patterns of
     communication between millions (and more) of processes. This
     work forms part of our TUNA project, investigating emergent
     properties in large dynamic systems (nanite assemblies)."
}