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{BateLowe12,
  title =        "{A} {D}ebugger for {C}ommunicating {S}cala {O}bjects",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Bate,  Andrew and Lowe,  Gavin",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Barnes,  Frederick R. M. and Chalmers,  Kevin and Pedersen,  Jan Bækgaard and Sampson,  Adam T.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "135--154",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2012",
  isbn=          "978-0-9565409-5-9",
  year=          "2012",
  month=         "aug",
  abstract=      "This paper presents a software tool for visualising and
     reasoning about
the behaviour of message-passing concurrent
     programs built with the CSO
library for the Scala
     programming language. It describes the models
needed to
     represent the construction of process networks and the
     runtime
behaviour of the resulting program. We detail the
     manner in which
information is extracted from the use of
     concurrency primitives in order
to maintain these models and
     how these models are diagrammed. Our
implementation of
     dynamic deadlock detection is explained. The tool
     can
produce a sequence diagram of process communications,
     the communication
network depicting the pairs of processes
     which share a communication
channel, and the trees resulting
     from the composition of processes.
Furthermore, it allows
     for behavioural specifications to be defined and
then
     checked at runtime, and guarantees to detect the illegal
     usage of
concurrency primitives that could otherwise lead to
     deadlock or data
loss. Our implementation imposes only a
     small overhead on the program
under inspection."
}