{"status":"public","has_accepted_license":"1","year":"2002","abstract":[{"lang":"eng","text":"We  define  here  a  distributed  abstract state  machine (DASM)  [7]  of \r\nthe network or routing layer of mobile ad hoc networks [13]. Such networks re-\r\nquire routing strategies substantially different from those used in static commu-\r\nnication  networks,  since  storing  and  updating  large  routing  tables  at  mobile \r\nhosts  would  congest  the  network  with  administration  packets  very  fast.  In  [1], \r\nthe  hypercubic  location  service  is  presented,  which  considers  a  very  strong \r\ndefinition  of  fault-tolerance  thereby  improving  state-of-the-art  ad  hoc  routing \r\nprotocols in several respects. Our goal in modeling the protocols for the distrib-\r\nuted location service and the position based routing is twofold. First, we support \r\nthe  definition  and  validation  of  wireless  communication  protocols  and  imple-\r\nmentations based thereon. Second, we feel that the abstract computation model \r\nnaturally reflects the layering principle of communication architectures in com-\r\nbination with an uncompromisingly local view of the application domain. Thus \r\nwe can identify fundamental semantic concepts, such as concurrency, reactivity \r\nand  asynchronism,  directly  with  the  related  concepts  as  imposed  by  the  given \r\napplication context. "}],"author":[{"first_name":"András","full_name":" Benczúr, András","last_name":" Benczúr"},{"last_name":"Glässer","full_name":"Glässer, Uwe","first_name":"Uwe"},{"last_name":"Lukovszki","full_name":"Lukovszki, Tamás","first_name":"Tamás"}],"_id":"24336","title":"Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks","file_date_updated":"2021-09-14T09:09:28Z","department":[{"_id":"63"}],"user_id":"15415","citation":{"apa":"Benczúr, A., Glässer, U., &#38; Lukovszki, T. (2002). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>.","ama":"Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. <i>Proc of 10th International Workshop on Abstract State Machines, LNCS</i>. Published online 2002.","mla":"Benczúr, András, et al. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002.","ieee":"A.  Benczúr, U. Glässer, and T. Lukovszki, “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks,” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002.","chicago":"Benczúr, András, Uwe Glässer, and Tamás Lukovszki. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002.","short":"A.  Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).","bibtex":"@article{ Benczúr_Glässer_Lukovszki_2002, title={Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks}, journal={Proc. of 10th International Workshop on Abstract State Machines, LNCS}, author={ Benczúr, András and Glässer, Uwe and Lukovszki, Tamás}, year={2002} }"},"date_created":"2021-09-14T08:51:39Z","language":[{"iso":"eng"}],"ddc":["000"],"publication_status":"published","file":[{"access_level":"closed","content_type":"application/pdf","relation":"main_file","date_created":"2021-09-14T09:09:28Z","date_updated":"2021-09-14T09:09:28Z","creator":"koala","file_size":162215,"success":1,"file_id":"24337","file_name":"asm03.pdf"}],"type":"journal_article","date_updated":"2022-01-06T06:56:18Z","publication":"Proc. of 10th International Workshop on Abstract State Machines, LNCS"}