Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks Academic Article uri icon


  • We propose a self-stabilizing mutual exclusion algorithm for mobile ad hoc networks, in which the composition of processors that want to enter the critical section can change dynamically. Our algorithm is based on dynamic virtual rings formed by circulating tokens. The algorithm always guarantees mutual exclusion and it guarantees different levels of progress under different levels of performance of the token circulation in the presence of mobility and message loss. Rigorous proofs of correctness and performance are given. 2005 Elsevier Inc. All rights reserved.

published proceedings

  • Journal of Parallel and Distributed Computing

author list (cited authors)

  • Chen, Y. u., & Welch, J. L.

citation count

  • 10

complete list of authors

  • Chen, Yu||Welch, Jennifer L

publication date

  • September 2005