Weijia Jia, Edgar Nett, Jiannong Cao, Jörg Kaiser. Verifications of RMP: An Efficient Reliable Multicast Protocol. In 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN 96), June 12-14, 1996, Beijing, China. pages 388-393, IEEE Computer Society, 1996. [doi]
Abstract is missing.