A correctness proof of the bakery protocol in CRL (1994)

by J F Groote, H P Korver
Venue:Proceedings ACP'94, pages 51{82. Report P9413, Programming Research Group, Univ. of