Bakery Algorithm is my favorite | Dr. Leslie Lamport

Dr. Leslie Lamport, a Turing award winner, talks about the Bakery algorithm. He says this is his favorite algorithm and explain how it works
Video credits to Quant magzine channel.
leslie lamport, turing award, cs, computer science, mathematics,formal methods,specifying systems, tla+,tla,bakery algorithm,mutual exclusion,simple algorithms,algos,assumptions,code,coding,programming,thinking,