Post-Mortem Debugging in KRoC
-----------------------------

D.C. Wood and F.R.M. Barnes
Communicating Process Architectures 2000 (WoTUG 23)


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.