Consensus on a synchronous shared-memory system, modeling message passing systems, impossibility of consensus in asynchronous shared-memory systems.
