{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:58:19Z","timestamp":1725544699824},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116223"},{"type":"electronic","value":"9783642116230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_13","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:08:29Z","timestamp":1264381709000},"page":"228-243","source":"Crossref","is-referenced-by-count":17,"title":["A Timed Calculus for Wireless Systems"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Merro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleonora","family":"Sibilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"IEEE 802.11 WG: ANSI\/IEEE standard 802.11: Wireless LAN medium access control (MAC) and physical layer (PHY) specifications. IEEE Computer Society, Los Alamitos (2007)"},{"key":"13_CR2","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"13_CR3","first-page":"109","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Computation\u00a060, 109\u2013137 (1984)","journal-title":"Information and Computation"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I and II). Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","volume-title":"25th POPL","author":"M. Hennessy","year":"1998","unstructured":"Hennessy, M., Riely, J.: A typed language for distributed mobile processes. In: 25th POPL. ACM Press, New York (1998)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2006.04.017","volume":"158","author":"N. Mezzetti","year":"2006","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a Calculus For Wireless Systems. Electronic Notes in Theoretical Computer Science\u00a0158, 331\u2013353 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1-2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S. Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A Framework for Security Analysis of Mobile Wireless Networks. Theoretical Computer Science\u00a0367(1-2), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-68265-3_19","volume-title":"Coordination Models and Languages","author":"A. Singh","year":"2008","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A Process Calculus for Mobile Ad Hoc Networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 296\u2013314. Springer, Heidelberg (2008)"},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ic.2007.11.010","volume":"207","author":"M. Merro","year":"2009","unstructured":"Merro, M.: An Observational Theory for Mobile Ad Hoc Networks (full paper). Information and Computation\u00a0207(2), 194\u2013208 (2009)","journal-title":"Information and Computation"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J. Godskesen","year":"2007","unstructured":"Godskesen, J.: A Calculus for Mobile Ad Hoc Networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.entcs.2009.06.018","volume":"242","author":"J. Godskesen","year":"2009","unstructured":"Godskesen, J.: A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Electronic Notes in Theoretical Computer Science\u00a0242(1), 161\u2013183 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR13","first-page":"345","volume-title":"SEFM","author":"F. Ghassemi","year":"2008","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Restricted Broadcast Process Theory. In: SEFM, pp. 345\u2013354. IEEE Computer Society, Los Alamitos (2008)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-642-11623-0_6","volume-title":"FSEN 2009","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational Reasoning on Ad Hoc networks. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"key":"13_CR15","first-page":"125","volume-title":"SRDS","author":"M. Mock","year":"2000","unstructured":"Mock, M., Frings, R., Nett, E., Trikaliotis, S.: Continuous Clock Synchronization in Wireless Real-Time Applications. In: SRDS, pp. 125\u2013133. IEEE Computer Society, Los Alamitos (2000)"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/958491.958508","volume-title":"SenSys","author":"S. Ganeriwal","year":"2003","unstructured":"Ganeriwal, S., Kumar, R., Srivastava, M.: Timing-Sync Protocol for Sensor Networks. In: SenSys, pp. 138\u2013149. ACM Press, New York (2003)"},{"key":"13_CR17","first-page":"1266","volume-title":"WCNC","author":"M.L. Sichitiu","year":"2003","unstructured":"Sichitiu, M.L., Veerarittiphan, C.: Simple, Accurate Time Synchronization for Wireless Sensor Networks. In: WCNC, pp. 1266\u20131273. IEEE Computer Society, Los Alamitos (2003)"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TNET.2004.842228","volume":"13","author":"W. Su","year":"2005","unstructured":"Su, W., Akyildiz, I.: Time-Diffusion Synchronization Protocols for Sensor Networks. IEEE\/ACM Transactions on Networking\u00a013(2), 384\u2013397 (2005)","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/TC.2006.25","volume":"55","author":"Q. Li","year":"2006","unstructured":"Li, Q., Rus, D.: Global Clock Synchronization in Sensor Networks. IEEE Transactions on Computers\u00a055(2), 214\u2013226 (2006)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1240226.1240228","volume":"3","author":"S. Yoon","year":"2007","unstructured":"Yoon, S., Veerarittiphan, C., Sichitiu, M.L.: Tiny-sync: Tight time synchronization for wireless sensor networks. ACM Transactions on Sensor Networks\u00a03(2), 81\u2013118 (2007)","journal-title":"ACM Transactions on Sensor Networks"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.adhoc.2005.01.002","volume":"3","author":"B. Sundararaman","year":"2005","unstructured":"Sundararaman, B., Buy, U., Kshemkalyani, A.D.: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks\u00a03(3), 281\u2013323 (2005)","journal-title":"Ad Hoc Networks"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation\u00a0117(2), 221\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-61052-9_54","volume-title":"Coordination Languages and Models","author":"K. Prasad","year":"1996","unstructured":"Prasad, K.: Broadcasting in Time. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 321\u2013338. Springer, Heidelberg (1996)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-71389-0_22","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Rathke","year":"2007","unstructured":"Rathke, J., Sassone, V., Sobocinski, P.: Semantic Barbs and Biorthogonality. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 302\u2013316. Springer, Heidelberg (2007)"},{"issue":"2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1006\/inco.1993.1019","volume":"103","author":"L. Aceto","year":"1993","unstructured":"Aceto, L., Hennessy, M.: Towards action-refinement in process algebras. Information and Computation\u00a0103(2), 204\u2013269 (1993)","journal-title":"Information and Computation"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Prasad, K.: A Calculus of Broadcasting Systems. Science of Computer Programming\u00a025(2-3) (1995)","DOI":"10.1016\/0167-6423(95)00017-8"},{"issue":"1-2","key":"13_CR28","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00375-3","volume":"269","author":"F. Corradini","year":"2001","unstructured":"Corradini, F., Ferrari, G., Pistore, M.: On the semantics of durational actions. Theoretical Computer Science\u00a0269(1-2), 47\u201382 (2001)","journal-title":"Theoretical Computer Science"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:54:39Z","timestamp":1619783679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}