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 Relating and Visualising CSP, VCR and Structural Traces
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Neil C.C. Brown,  Marc L. Smith
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X As well as being a useful tool for formal reasoning, a trace
   can
provide insight into a concurrent program\[rs]s
   behaviour, especially for
the purposes of run\-time analysis
   and debugging.  Long\-running
programs tend to produce large
   traces which can be difficult to
comprehend and visualise. 
   We examine the relationship between three
types of traces
   (CSP, VCR and Structural), establish an ordering
   and
describe methods for conversion between the trace types.
    Structural
traces preserve the structure of composition and
   reveal the repetition
of individual processes, and are thus
   well\-suited to visualisation.
We introduce the Starving
   Philosophers to motivate the value of
structural traces for
   reasoning about behaviour not easily predicted
from a
   program\[rs]s specification.  A remaining challenge is to
   integrate
structural traces into a more formal setting, such
   as the Unifying
Theories of Programming \-\- however,
   structural traces do provide a
useful framework for
   analysing large systems.