An efficient protocol for ordering broadcast messages in distributed systems | IEEE Conference Publication | IEEE Xplore