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

Kazuhiro Ogata, Kokichi Futatsugi

Browse the full ICFEM paper archive.