Searching for "On the Specification of Partitionable Group Membership." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems
- … consider the group membership problem in partitionable asynchronous systems and give a formal specification…
- Cited by 16 (1 self) – Add To MetaCart
-
System Support for Partition-Aware Network Applications
- …). 97-1 Partitionable Group Membership: Specification and Algorithms, O. Babao glu, R. Davoli, A…
- Cited by 9 (1 self) – Add To MetaCart
-
On the Formal Specification of Group Membership Services
- …] for the partitionable one. Indeed, giving a formal specification of group membership is the principal goal of [RB91, DMS…
- Cited by 44 (2 self) – Add To MetaCart
-
Group communication in partitionable systems: Specification and algorithms
- …, we give a formal specification for partitionable group membership services that has the following…
- Cited by 45 (9 self) – Add To MetaCart
-
Network Membership: How to solve R-Broadcast efficiently?
- … formal specification for partitionable group membership and its algorithms. Other known attempts are [DMS…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 5.
