A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs
| dc.contributor.author | Keidar, Idit | en_US |
| dc.contributor.author | Khazan, Roger | en_US |
| dc.date.accessioned | 2023-03-29T15:32:27Z | |
| dc.date.available | 2023-03-29T15:32:27Z | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149904 | |
| dc.description.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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-794 | |
| dc.title | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs | en_US |
