Visualizing concurrency