An efficient algorithm for time separation of events in concurrent systems.

Peggy B. McGee, Steven M. Nowick

Browse the full ICCAD paper archive.