A Markovian Model, with State-Dependent Parameters, of a Transactional System Supported by Checkpointing and Recovery Strategies. - Victor F. Nicola; F. J. Kylstra (MMB, 1983)

A Model of Checkpointing and Recovery with a Specified Number of Transactions between Checkpoints. - Victor F. Nicola; F. J. Kylstra (Performance, 1983)