| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Maximal Group Membership in Ad Hoc Networks
Abstract : The notion of Group communication has long been introduced as a core service of distributed systems. More recently, this notion appeared with a somewhat different meaning in the field of mobile ad hoc systems. In this context, we study the group membership problem. After specifying the basic safety properties of such groups and a maximality criterion based on cliques, we propose a group membership algorithm. Lastly, with respect to this criterion, we compare our algorithm with two group membership algorithms for ad hoc environments. Moreover, a formal description in TLA+ has been programmed and verified by model-checking for small networks.
Cited literature [8 references]
https://hal.inria.fr/inria-00415110
Contributor : Valerie Issarny Connect in order to contact the contributor
Submitted on : Thursday, September 10, 2009 - 11:34:27 AM
Last modification on : Wednesday, March 23, 2022 - 3:44:37 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:27:03 PM
Contributor : Valerie Issarny Connect in order to contact the contributor
Submitted on : Thursday, September 10, 2009 - 11:34:27 AM
Last modification on : Wednesday, March 23, 2022 - 3:44:37 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:27:03 PM
File
FilaliIMPQ05.pdf
Files produced by the author(s)