3572 2003 2003 eng 719 725 conferenceobject IASTED/ACTA Press 0 -- -- -- Debugging Distributed Computations by Reverse Search The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria Artur Andrzejak M. Hamza Komei Fukuda Distributed Algorithms and Supercomputing