BG Distributed Simulation Algorithm. Also, submitted for journal publication. More generally, the algorithm satisfies the requirements of a fault-tolerant distributed simulation. The distributed simulation implements a notion of fault-tolerant reducibility between decision problems. These notions are defined, and examples of their use are provided.
Composition is used to include a safe agreement module as a subroutine.
Forward and backward simulation relations are used to view the algorithm as implementing a multi-try snapshot strategy. M.P. Herlihy and N. Shavit. The topology of public knowledge.