Nonatomic dual bakery algorithm with bounded tokens Alex A. AravindWim H. Hesselink Original Article 16 February 2011 Pages: 67 - 96
Testing for refinement in Circus Ana CavalcantiMarie-Claude Gaudel Original Article 12 March 2011 Pages: 97 - 147