Characterization of message ordering specifications and protocols | IEEE Conference Publication | IEEE Xplore