HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

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

File

FilaliIMPQ05.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00415110, version 1

Citation

M Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Maximal Group Membership in Ad Hoc Networks. 6th International Conference on Parallel Processing and Applied Mathematics : PPAM 2005, 2005, Poznan, Poland. pp.51-58. ⟨inria-00415110⟩

Share

Metrics

Record views

118

Files downloads

139