A correctness proof of the Bakery protocol in →m⇋CRL
A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korver