Characterizing multicast orderings using concurrency control theory | IEEE Conference Publication | IEEE Xplore