we could leverage a virtual time algorithmI read the paper, but I don't actually understand how to implement it.
See section 7 "Vector Time". Also see [1] from slide 14 onwards for a more approachable reference.
Michael [1] http://www.cambridge.org/resources/0521876346/6334_Chapter3.pdf
