Roberto Baldoni Stefano Cimmino Carlo Marchetti A classification of total order specifications and its application to fixed sequencer-based implementations. 108-127 2006 66 J. Parallel Distrib. Comput. 1 http://dx.doi.org/10.1016/j.jpdc.2005.06.021 db/journals/jpdc/jpdc66.html#BaldoniCM06