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]
@article{BaldoniCM06,
title = {A classification of total order specifications and its application to fixed sequencer-based implementations},
author = {Roberto Baldoni and Stefano Cimmino and Carlo Marchetti},
year = {2006},
doi = {10.1016/j.jpdc.2005.06.021},
url = {http://dx.doi.org/10.1016/j.jpdc.2005.06.021},
tags = {rule-based, classification},
researchr = {https://researchr.org/publication/BaldoniCM06},
cites = {0},
citedby = {0},
journal = {J. Parallel Distrib. Comput.},
volume = {66},
number = {1},
pages = {108-127},
}