A declarative approach to visualizing concurrent computations1989-10-010 OA AI DOI:10.1109/2.42012OriginalOriginal request for helpShareSaveAbstract En