Virtual Time Publication Type: Journal Article Authors: D.R. Jefferson Source: ACM Transactions on Programming Languages and Systems, Volume 7, Issue 3, p.404-425 (1985)
