Selective checkpointing and rollbacks in multi-threaded object-oriented environment | IEEE Journals & Magazine | IEEE Xplore