A Randomized 1-latent, Time-adaptive and Safe Self-stabilizing Mutual Exclusion Protocol.

Jun Kiniwa Masafumi Yamashita

Published in: Parallel Process. Lett. (2006)

Keyphrases

mutual exclusion
long distance
temporal planning
communication protocol
lightweight
information retrieval
lower bound
domain specific
formal analysis
tcp ip