Wang, Pingye (2004) Milestone checkpointing in multi-agent applications. Masters thesis, Concordia University.