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{vanderSteen08,
  title =        "{D}esigning {A}nimation {F}acilities for g{CSP}",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "van der Steen,  Hans T.J. and Groothuis,  Marcel A. and Broenink,  Jan F.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "447--447",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "To improve feedback on how concurrent CSP-based programs
     run, the
graphical CSP design tool (gCSP) has been extended
     with animation
facilities. The state of processes,
     constructs, and channel ends
are indicated with colours both
     in the gCSP diagrams and in the
composition tree
     (hierarchical tree showing the structure of the
total
     program). Furthermore, the contents of the channels are
     also
shown. In this Fringe session, we will present and
     demonstrate
this prototype animation facility, being the
     result of the MSc
project of Hans van der Steen, and ask for
     feedback."
}