An efficient reliable broadcast protocol
ACM SIGOPS Operating Systems Review
AMp: a highly parallel atomic multicast protocol
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Ordered and reliable multicast communication
ACM Transactions on Computer Systems (TOCS)
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
A new way to design causally and totally ordered multicast protocols
ACM SIGOPS Operating Systems Review
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Totem: a fault-tolerant multicast group communication system
Communications of the ACM
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Design and Performance of Horus: A Lightweight Group Communications System
Design and Performance of Horus: A Lightweight Group Communications System
The Hierarchical Daisy Architecture for Causal Delivery
The Hierarchical Daisy Architecture for Causal Delivery
Newtop: a fault-tolerant group communication protocol
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
| Hi-index | 0.00 |
We consider three kinds of ordering properties provided by a multicast system. The messages can be delivered to the different recipients according to a local order, a causal order or a total order. In this paper, a formal method is proposed to prove the total and causal order of multicast protocols. A generalized formal result for multicast protocols is obtained. Some addressing features for other formal results are considered. This study allows to prove that existing systems have the required property. The results can be used to define new solutions. Moreover, the method makes use of various ordering properties, well fitted to practical systems, to achieve a better understanding of the ordering processing.