%T Post\-Mortem Debugging in KRoC
%A  David C. Wood,  Frederick R. M. Barnes
%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.