Deterministic distributed algorithm simulator.