| A Model of Checkpointing and Recovery with a Specified Number of Transactions between Checkpoints | 8 | 1.82 | 1983 |
| A Markovian Model, with State-Dependent Parameters, of a Transactional System Supported by Checkpointing and Recovery Strategies | 2 | 0.92 | 1983 |
