Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.

Kazuhiro Ogata Kokichi Futatsugi Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. 187-206 2008 ICFEM http://dx.doi.org/10.1007/978-3-540-88194-0_13 conf/icfem/2008 db/conf/icfem/icfem2008.html#OgataF08