A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs
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
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149904 |
| _version_ | 1826192919414964224 |
|---|---|
| author | Keidar, Idit Khazan, Roger |
| author_facet | Keidar, Idit Khazan, Roger |
| author_sort | Keidar, Idit |
| collection | MIT |
| description | 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 |
| first_indexed | 2024-09-23T09:31:12Z |
| id | mit-1721.1/149904 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T09:31:12Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1499042023-03-30T04:11:06Z A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs Keidar, Idit Khazan, Roger 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 2023-03-29T15:32:27Z 2023-03-29T15:32:27Z https://hdl.handle.net/1721.1/149904 MIT-LCS-TR-794 application/pdf |
| spellingShingle | Keidar, Idit Khazan, Roger A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title_full | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title_fullStr | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title_full_unstemmed | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title_short | A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs |
| title_sort | client server approach to virtually synchronous group multicast specifications algorithms and proofs |
| url | https://hdl.handle.net/1721.1/149904 |
| work_keys_str_mv | AT keidaridit aclientserverapproachtovirtuallysynchronousgroupmulticastspecificationsalgorithmsandproofs AT khazanroger aclientserverapproachtovirtuallysynchronousgroupmulticastspecificationsalgorithmsandproofs AT keidaridit clientserverapproachtovirtuallysynchronousgroupmulticastspecificationsalgorithmsandproofs AT khazanroger clientserverapproachtovirtuallysynchronousgroupmulticastspecificationsalgorithmsandproofs |