{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:13:21Z","timestamp":1742973201751,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540363217"},{"type":"electronic","value":"9783540363224"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11795490_12","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T07:25:18Z","timestamp":1169537118000},"page":"130-145","source":"Crossref","is-referenced-by-count":9,"title":["Timed Virtual Stationary Automata for Mobile Networks"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[]},{"given":"Seth","family":"Gilbert","sequence":"additional","affiliation":[]},{"given":"Limor","family":"Lahiani","sequence":"additional","affiliation":[]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[]},{"given":"Tina","family":"Nolte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Camp, T., Liu, Y.: An adaptive mesh-based protocol for geocast routing. Journal of Parallel and Distributed Computing: Special Issue on Mobile Ad-hoc Networking and Computing, 196\u2013213 (2002)","DOI":"10.1016\/S0743-7315(02)00064-3"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Chockler, G., Demirbas, M., Gilbert, S., Newport, C., Nolte, T.: Consensus and Collision Detectors in Wireless Ad Hoc Networks. In: Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing (PODC) (2005)","DOI":"10.1145\/1073814.1073850"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Communications of the ACM (1974)","DOI":"10.1145\/361179.361202"},{"key":"12_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S. Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-30186-8_17","volume-title":"Distributed Computing","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Gilbert, S., Lynch, N., Schiller, E., Shvartsman, A., Welch, J.: Virtual Mobile Nodes for Mobile Ad Hoc Networks. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol.\u00a03274, pp. 230\u2013244. Springer, Heidelberg (2004)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-39989-6_22","volume-title":"Distributed Computing","author":"S. Dolev","year":"2003","unstructured":"Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., Welch, J.: GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol.\u00a02848, pp. 306\u2013320. Springer, Heidelberg (2003)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., Welch, J.: GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks. Technical Report MIT-LCS-TR-900. MIT Laboratory for Computer Science, Cambridge, MA, 02139 (2003)","DOI":"10.1007\/978-3-540-39989-6_22"},{"key":"12_CR8","first-page":"41","volume-title":"Third International Conference on Fun with Algorithms (FUN)","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Herman, T., Lahiani, L.: Polygonal Broadcast, Secret Maturity and the Firing Sensors. In: Third International Conference on Fun with Algorithms (FUN), pp. 41\u201352. Elseiver, Amsterdam (2004) (Also to appear in Ad Hoc Networks Journal)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/11577327_7","volume-title":"Self-Stabilizing Systems","author":"S. Dolev","year":"2005","unstructured":"Dolev, S., Lahiani, L., Lynch, N., Nolte, T.: Self-Stabilizing Mobile Node Location Management and Message Routing. In: Tixeuil, S., Herman, T. (eds.) SSS 2005. LNCS, vol.\u00a03764, pp. 96\u2013112. Springer, Heidelberg (2005)"},{"key":"12_CR10","unstructured":"Hubaux, J.P., Le Boudec, J.Y., Giordano, S., Hamdi, M.: The Terminodes Project: Towards Mobile Ad-Hoc WAN. In: Proceedings of MOMUC (1999)"},{"key":"12_CR11","unstructured":"Kan, M., Pande, R., Vinograd, P., Garcia-Molina, H.: Event Dissemination in High-Mobility Ad-hoc Networks. Technical Report (2005)"},{"key":"12_CR12","unstructured":"Kaynar, D., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata, Technical Report MIT-LCS-TR-917a. MIT LCS, Cambridge, MA (2004)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Kuhn, F., Wattenhofer, R., Zhang, Y., Zollinger, A.: Geometric Ad-Hoc Routing: Of Theory and Practice. In: Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC) (2003)","DOI":"10.1145\/872035.872044"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Li, J., Jannotti, J., De Couto, D.S.J., Karger, D.R., Morris, R.: A Scalable Location Service for Geographic Ad Hoc Routing. In: Proceedings of Mobicom (2000)","DOI":"10.1145\/345910.345931"},{"key":"12_CR15","unstructured":"Lok, C.: Instant Networks: Just Add Software. Technology Review (June 2005)"},{"key":"12_CR16","unstructured":"Lynch, N., Mitra, S., Nolte, T.: Motion coordination using virtual nodes. In: IEEE Conference on Decision and Control (to appear, 2005)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Morris, R., Jannotti, J., Kaashoek, F., Li, J., Decouto, D.: CarNet: A Scalable Ad Hoc Wireless Network System. In: 9th ACM SIGOPS European Workshop, Kolding, Denmark (September 2000)","DOI":"10.1145\/566726.566741"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Nath, B., Niculescu, D.: Routing on a curve. ACM SIGCOMM Computer Communication Review (2003)","DOI":"10.1145\/774763.774788"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Navas, J.C., Imielinski, T.: Geocast- geographic addressing and routing. In: Proceedings of the 3rd MobiCom (1997)","DOI":"10.1145\/262116.262132"},{"key":"12_CR20","unstructured":"Neogi, N.: Designing Trustworthy Networked Systems: A Case Study of the National Airspace System. In: International System Safety Conference, Ottawa, Canada (2003)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Ratnasamy, S., Karp, B., Yin, L., Yu, F., Estrin, D., Govindan, R., Shenker, S.: GHT: A Geographic Hash Table for Data-Centric Storage. In: First ACM International Workshop on Wireless Sensor Networks and Applications (WSNA) (2002)","DOI":"10.1145\/570738.570750"},{"key":"12_CR22","unstructured":"Sun, Q., Garcia-Molina, H.: Using Ad-hoc Inter-vehicle Networks for Regional Alerts. Technical Report (2004)"},{"key":"12_CR23","unstructured":"Talbot, D.: Airborne Networks. Technology Review (May 2005)"},{"key":"12_CR24","unstructured":"Talbot, D.: The Ascent of the Robotic Attack Jet. Technology Review (March 2005)"},{"key":"12_CR25","unstructured":"Vasek, T.: World Changing Ideas: Germany. Technology Review (April 2005)"},{"key":"12_CR26","unstructured":"Woolley, S.: Backwater Broadband. Forbes (2005)"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795490_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:22:52Z","timestamp":1558272172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795490_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540363217","9783540363224"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11795490_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}