I. Keidar and R. Khazan. A virtually synchronous group multicast algorithm for wans: Formal approach, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A One-Round Algorithm for Virtually Synchronous Group.. - Khazan (1998) (Correct)
....material published in [61, 62] We employ this formalism for modeling and verifying our GCS design. The second part covers our design of the Virtually Synchronous Group Communication service; it constitutes the main part of the dissertation. Chapters 4 8 are based on the material published in [59, 60]. In Chapter 4 we present the client server architecture of our GCS and formally specify the assumptions we make on the membership service and the underlying communication substrate. Chapter 5 contains precise specifications of the safety and liveness properties satisfied by our GCS. The ....
....will have important, practical implications. 49 50 Part II Group Communication Service 51 This part of the dissertation contains our design of the Virtually Synchronous Group Communication service targeted for wide area networks. Chapters 4 8 are based on the material published in [59, 60]. In Chapter 4 we present the client server architecture of our GCS and formally specify the assumptions we make on the membership service and the underlying communication substrate. Chapter 5 contains precise specifications of the safety and liveness properties satisfied by our GCS. The ....
Idit Keidar and Roger Khazan. A virtually synchronous group multicast algorithm for WANs: Formal approach. SIAM Journal on Computing, 2002. To appear.
An Algorithm for an Intermittently Atomic Data Service Based.. - Khazan, Lynch Self-citation (Khazan) (Correct)
No context found.
Idit Keidar and Roger Khazan, "A virtually synchronous group multicast algorithm for WANs: Formal approach," SIAM Journal on Computing, vol. 32, no. 1, pp. 78--130, November 2002.
Synchronization in Massive Multiplayer - Online Games Stefano (Correct)
No context found.
I. Keidar and R. Khazan. A virtually synchronous group multicast algorithm for wans: Formal approach, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC