Antecedence Graph Approach to Checkpointing for Fault Tolerance in Mobile Agent Systems | IEEE Journals & Magazine | IEEE Xplore