Virtual time (1985)

by David R Jefferson
Venue:ACM Transaction on Programming Languages and Systems