Artur Andrzejak, Komei Fukuda. Debugging Distributed Computations by Reverse Search. In M. H. Hamza, editor, The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria. pages 719-725, IASTED/ACTA Press, 2003.
Abstract is missing.