It is now recognized that the Consensus problem is a fundamental problem wh
en one has to design and implement reliable asynchronous distributed system
s. This chapter is on the Consensus problem. It studies Consensus in two fa
ilure models, namely, the Crash/no Recovery,model and the Crash/Recovery mo
del. The assumptions related to the detection of failures that are required
to solve Consensus in a given model are particularly emphasized.