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>

%T Designing Animation Facilities for gCSP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Hans T.J. van der Steen,  Marcel A. Groothuis,  Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  S. Stepney,  F.A.C Polack,  Frederick R. M. Barnes,  Alistair A. McEwan,  G. S. Stiles,  Jan F. Broenink,  Adam T. Sampson
%B Communicating Process Architectures 2008
%X 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.