LCS Publications: Recent submissions
Now showing items 97-99 of 1152
-
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 ... -
Group Communication Specifications: A Comprehensive Study
(1999-09)View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented Group ...