Slide 1Universality of Consensus Companion slides for The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit Slide 2 Turing Computability A mathematical…