A Client-Server Approach to Virtually Synchronous  Group Multicast: Specifications, Algorithms, and Proofs

Keidar, Idit; Khazan, Roger

A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs

Download

Name

MIT-LCS-TR-794.pdf

Size

5.44 MB

Format

Adobe PDF

Checksum (MD5)

bf3ddbf0a1db4cf4f818f7631af11205

Author(s)

Keidar, Idit

•

Khazan, Roger

Series/Report no.

MIT-LCS-TR-794

Abstract

This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. The design employs a client-server architecture in which group membership is maintained not by

Persistent DSpace Link

https://hdl.handle.net/1721.1/149904