Keywords: آشکارساز شکست; Adversary; Agreement; Asynchronous system; Borowsky-Gafni (BG) simulation; Concurrency; Crash failure; Distributed computability; Distributed computing model; Failure detector; Fault-tolerance; Iterated model; Liveness; Model equivalence; Recursion; Res