3,532 followers
Correctness and concurrent complexity of the Black-White Bakery algorithm. ~ W.H. Hesselink https://t.co/GloLgG2JGS #ITP #PVS
Correctness and concurrent complexity of the Black-White Bakery algorithm. ~ W.H. Hesselink https://t.co/GloLgG2JGS #ITP #PVS