{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:28:31Z","timestamp":1772836111757,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540006244","type":"print"},{"value":"9783540364986","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36498-6_11","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:28:14Z","timestamp":1181240894000},"page":"204-217","source":"Crossref","is-referenced-by-count":5,"title":["Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Andr\u00e1s","family":"Bencz\u00far","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"Tam\u00e1s","family":"Lukovszki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"11_CR1","unstructured":"Bencz\u00far and T. Lukovszki. A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing. Technical Report, TR-RI-02-231, Heinz Nixdorf Institute, Paderborn, Germany, June 2002"},{"key":"11_CR2","unstructured":"D. E. Comer. Internetworking with TCP\/IP, Principles, Protocols, and Archi-tectures. Prentice Hall, 2000"},{"issue":"7","key":"11_CR3","first-page":"1025","volume":"11","author":"R. Eschbach","year":"2001","unstructured":"R. Eschbach, U. Gl\u00e4sser, R. Gotzhein, M. von L\u00f6wis and A. Prinz. Formal Definition of SDL-2000. Journal of Universal Computer Science, 11 (7): 1025\u20131050, Springer Pub. Co., 2001","journal-title":"Journal of Universal Computer Science"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"J. Gao, L. J. Guibas, J. Hershberger, L. Zhang, and A. Zhu. Geometric Spanner for Routing in Mobile Networks. In ACM Symposium on Mobile Ad Hoc Net-working and Computing (MOBIHOC.01), pages 45\u201355, 2001","DOI":"10.1145\/501416.501424"},{"key":"11_CR5","unstructured":"U. Gl\u00e4sser, Y. Gurevich and M. Veanes. High-Level Executable Specification of the Universal Plug and Play Architecture. In Proc. 35th Hawaii International Conference on System Sciences, Software Technology, IEEE Press, 2002"},{"key":"11_CR6","unstructured":"U. Gl\u00e4sser, Y. Gurevich and M. Veanes. An Abstract Communication Model. Microsoft Research Technical Report, MSR-TR-2002-55, May 2002"},{"key":"11_CR7","unstructured":"Y. Gurevich. Evolving Algebras 1993:Lipari Guide. In E. B\u00f6rger (Ed.), Speci-fication and Validation Methods, Oxford University Press, 1995, 9\u201336"},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","first-page":"266","volume-title":"Computer Science Logic","author":"Y. Gurevich","year":"1995","unstructured":"Y. Gurevich and J. Huggins. The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In H. Kleine B\u00fcning (Ed.), Computer Science Logic, LNCS 1092, 266\u2013290, Springer, 1995"},{"key":"11_CR9","unstructured":"D. B. Johnson and D. A. Malz: Dynamic Source Routing in Ad Hoc Wireless Networks. Mobile Computing, Vol.: 353, Kluwer Academic Publishers, 1996."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"T. Leighton. Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-4832-0772-8.50005-4"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"J. Li et al. A Scalable Location Service for Geographic Ad Hoc Routing. ACM International Conference on Mobile Computing and Networking (Mobi-Com\u201900), 120\u2013130, 2000.","DOI":"10.1145\/345910.345931"},{"key":"11_CR12","unstructured":"X.-Y. Li and P.-J. Wan and Y. Wang. Power Efficient and Sparse Spanner for Wireless Ad Hoc Networks. IEEE International Conference on Computer Communications and Networks (ICCCN\u201901), 2001."},{"issue":"6","key":"11_CR13","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/65.967595","volume":"15","author":"M. Mauve","year":"2001","unstructured":"M. Mauve, J. Widmer and H. Hartenstein. A Survey on Position-Based Routing in Mobile Ad-Hoc Networks. IEEE Network, 15(6): 30\u201339, 2001","journal-title":"IEEE Network"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"V. D. Park and M. S. Corson. A Highly Adaptive Distributed Routing Algo-rithm for Mobile Wireless Networks. IEEE INFOCOM, 1405\u20131413, 1997","DOI":"10.1109\/INFCOM.1997.631180"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"E. Perkins and P. Bhagwar. Highly Dynamic Destination-Sequenced Distance-Vector Routing (DSDV) for Mobile Computers. ACM SIGCOMM\u201994, 234\u2013244, 1994","DOI":"10.1145\/190314.190336"},{"key":"11_CR16","unstructured":"R. Wattenhofer et al. Distributed Topology Control for Power Efficient Op-eraion in Wireless Multihop Ad Hoc Networks, IEEE INFOCOM, 2001"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1137\/0211059","volume":"11","author":"C. Yao","year":"1982","unstructured":"C. Yao. On Constructing Minimum Spanning Trees in k-Dimensional Spaces and Related Problems. SIAM Journal on Comp., 11(4): 721\u2013736, 1982","journal-title":"SIAM Journal on Comp."}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:55:28Z","timestamp":1737078928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36498-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006244","9783540364986"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36498-6_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}