An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.

Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello

Browse the full ICCD paper archive.