Formal verification and empirical analysis of rollback relaxation
- 31 March 1998
- journal article
- Published by Elsevier in Journal of Systems Architecture
- Vol. 44 (6-7) , 473-495
- https://doi.org/10.1016/s1383-7621(97)80167-1
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Efficient Algorithms for Distributed Snapshots and Global Virtual Time ApproximationJournal of Parallel and Distributed Computing, 1993
- An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulationACM Transactions on Modeling and Computer Simulation, 1991
- Parallel discrete event simulationCommunications of the ACM, 1990
- Distributed discrete-event simulationACM Computing Surveys, 1986
- Virtual timeACM Transactions on Programming Languages and Systems, 1985