Cerberus - a tool for debugging distributed algorithms.

Fred Carter Alan David Fekete Cerberus - a tool for debugging distributed algorithms. 110-121 1996 conf/pds/1996 Software Engineering for Parallel and Distributed Systems db/conf/pds/pds1996.html#CarterF96