Correctness proof of the bakery protocol in CRL (1995)

Cached

Download Links

by Jan Friso Groote , Henri Korver
Venue:Algebra of Communicating Processes '94, Workshops in Computing
Citations:14 - 6 self