## Abstract

A k-coterie [2] is a family of sets (called quorums) in which any (k+1) quorums contain at least a pair of quorums intersecting each other. K-coteries can be used to develop distributed k-mutual exclusion algorithms that are resilient to node and/or communication link failures. A k-coterie is said to dominate another k-coterie if and only if every quorum in the latter is a super set of some quorum in the former. Obviously, the dominating one has more chance than the dominated one for a quorum to be formed successfully in an error-prone environment. Thus, we should always concentrate on nondominated k-coteries that no k-coterie can dominate. In this paper, we introduce a theorem for checking the nondomination of k-coteries, define a class of special nondominated k-coteries - strongly nondominated (SND) k-coteries, and propose two operations to generate new SND k-coteries from known SND k-coteries.

Original language | English |
---|---|

Pages | 582-587 |

Number of pages | 6 |

State | Published - 1994 |

Event | Proceedings of the 1994 International Conference on Parallel and Distributed Systems - Hsinchu, China Duration: 19 Dec 1994 → 21 Dec 1994 |

### Conference

Conference | Proceedings of the 1994 International Conference on Parallel and Distributed Systems |
---|---|

City | Hsinchu, China |

Period | 19/12/94 → 21/12/94 |