{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:30:58Z","timestamp":1742394658699},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[1998,12]]},"abstract":"<jats:p> In a network supporting mobile communication devices, a mechanism to find the location of a device, wherever it may be, is needed. In this paper, we present a distributed algorithm for this purpose along with its formal specification and proof sketch. Starting with an algorithm due to Wang, the process of formalization together with careful attention to abstraction leads to a more regular, general, and robust algorithm with a clearer description. An incidental contribution is a useful theorem for proving progress properties in distributed algorithms that use tokens. <\/jats:p>","DOI":"10.1142\/s012962649800047x","type":"journal-article","created":{"date-parts":[[2003,9,8]],"date-time":"2003-09-08T09:56:09Z","timestamp":1063014969000},"page":"473-488","source":"Crossref","is-referenced-by-count":1,"title":["Derivation of an Algorithm for Location Management for Mobile Communication Devices"],"prefix":"10.1142","volume":"08","author":[{"given":"Beverly A.","family":"Sanders","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science  and Engineering, University of Florida, Gainesville, FL 32611-6120, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Berna L.","family":"Massingill","sequence":"additional","affiliation":[{"name":"Department of Computer Science,  California Institute of Technology, Pasadena, CA 91125, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Svetlana","family":"Kryukova","sequence":"additional","affiliation":[{"name":"Department of Computer Science,  California Institute of Technology, Pasadena, CA 91135, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012962649800047X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:18:57Z","timestamp":1565108337000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012962649800047X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1998,12]]}},"alternative-id":["10.1142\/S012962649800047X"],"URL":"https:\/\/doi.org\/10.1142\/s012962649800047x","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}