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

2011 IEEE 10th International Symposium on Network Computing and Applications, 2011

Abstract

ABSTRACT 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.

Alfredo Goldman hasn't uploaded this paper.

Let Alfredo know you want this paper to be uploaded.

Ask for this paper to be uploaded.