Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks

Résumé

Nowadays there exist many networks with dynamic characteristics (e.g. MANETs, DTNs, opportunistic networks, etc.). Our aim is thus to determine the necessary and sufficient connectivity conditions which allow the correct execution of some distributed algorithms on top of them. To this end, we use a framework proposed by Casteigts et al. [1] that exploits the evolving graphs theory, which models the topology of the network as well as the graph relabeling approach, which abstracts communication. In particular, we provide necessary and sufficient conditions for two important distributed problems: mutual exclusion and K-mutual exclusion.
Fichier non déposé

Dates et versions

hal-01286575 , version 1 (11-03-2016)

Identifiants

Citer

Paulo Floriano, Alfredo Goldman, Luciana Arantes. Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks. The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, Aug 2011, Cambridge, MA, United States. pp.203-210, ⟨10.1109/NCA.2011.35⟩. ⟨hal-01286575⟩
93 Consultations
0 Téléchargements

Altmetric

Partager

More