Formal description and analysis of a distributed location service for mobile ad hoc networks

DOI10.1016/j.tcs.2004.11.009zbMath1080.68002OpenAlexW2051625963MaRDI QIDQ555783

Qian-Ping Gu, Uwe Glässer

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.009

zbMATH Keywords

Distributed abstract state machineGeographic routingLocation serviceLogical topologyMobile ad hoc networksWireless communication

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Cites Work

• Simulation-based performance evaluation of routing protocols for mobile ad hoc networks
• On Constructing Minimum Spanning Trees in k-Dimensional Spaces and Related Problems
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item