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 Post\-Mortem Debugging in KRoC
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  David C. Wood,  Frederick R. M. Barnes
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Andr\[`e] W. P. Bakkers
%B Communicating Process Architectures 2000
%X A simple post\-mortem debugging facility has been added to
   KRoC, to identify and locate run\-time errors, including
   deadlock. It has been implemented for the SPARC/Solaris and
   i386/Linux versions of KRoC.