Verifications of RMP: an efficient reliable multicast protocol
Weijia Jia, Jiannong Cao, Edgar Nett, J. Kaiser · 2002
This paper presents a novel reliable group multicast based on a logical-clock token ring approach. The algorithms are simple and can guarantee the total ordering and atomicity of multicast messages and is highly efficient. The correctness of the algorithms has been given an terms of the operational processes in a group. The recovery algorithms of the protocol can handle communication fault, process crash failures and network partition. The performance analysis of the algorithms is also presented.