L. Kumar, Manoj Misra, Isi Mitrani. Analysis of a Transaction System with Checkpointing, Failures, and Rollback. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 279-288, Springer, 2002. [doi]
Abstract is missing.