Virtual time (1985)

by D R Jefferson
Venue:ACM Trans. on Programming Language and System