Title: Models for visualization in parallel debuggers