On-The-fly topological sort-A basis for interactive debugging and live visualization of parallel programsDoug KimelmanDror Zernik1993WPADD 1993