Rollback Based on Vector Time. - S. L. Peterson; Phil Kearns (SRDS, 1993)