A declarative approach to visualizing concurrent computations | Synapse