A classification of total order specifications and its application to fixed sequencer-based implementations

Roberto Baldoni, Stefano Cimmino, Carlo Marchetti. A classification of total order specifications and its application to fixed sequencer-based implementations. J. Parallel Distrib. Comput., 66(1):108-127, 2006. [doi]

Abstract

Abstract is missing.