{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:21:15Z","timestamp":1725906075534},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631202"},{"type":"electronic","value":"9783319631219"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_24","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T08:05:15Z","timestamp":1500883515000},"page":"484-502","source":"Crossref","is-referenced-by-count":0,"title":["Assertion-Based Reasoning Method for Calculus of Wireless System"],"prefix":"10.1007","author":[{"given":"Luyao","family":"Wang","sequence":"first","affiliation":[]},{"given":"Wanling","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"issue":"6","key":"24_CR1","doi-asserted-by":"crossref","first-page":"1130","DOI":"10.1109\/JPROC.2005.849717","volume":"93","author":"A Willig","year":"2005","unstructured":"Willig, A., Matheus, K., Wolisz, A.: Wireless technology in industrial networks. Proc. IEEE 93(6), 1130\u20131151 (2005)","journal-title":"Proc. IEEE"},{"issue":"3","key":"24_CR2","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11277-016-3228-6","volume":"87","author":"O Fratu","year":"2016","unstructured":"Fratu, O., Pejanovic-Djurisic, M., Poulkov, V., Gavrilovska, L.: Introduction to special issue \u201ccurrent trends in information and communications technology\u201d. Wireless Pers. Commun. 87(3), 615\u2013617 (2016)","journal-title":"Wireless Pers. Commun."},{"issue":"2\u20133","key":"24_CR3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"KVS Prasad","year":"1995","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2\u20133), 285\u2013327 (1995)","journal-title":"Sci. Comput. Program."},{"issue":"19","key":"24_CR4","doi-asserted-by":"crossref","first-page":"1928","DOI":"10.1016\/j.tcs.2010.01.023","volume":"411","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19), 1928\u20131948 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR5","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":"JC Godskesen","year":"2007","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 132\u2013150. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-72794-1_8"},{"issue":"2","key":"24_CR6","doi-asserted-by":"crossref","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 version). Inf. Comput. 207(2), 194\u2013208 (2009)","journal-title":"Inf. Comput."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.entcs.2004.10.029","volume":"142","author":"S Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: Formal security analysis for ad-hoc networks. Electr. Notes Theor. Comput. Sci. 142, 195\u2013213 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"24_CR8","volume-title":"Texts in Computer Science","author":"KR Apt","year":"2009","unstructured":"Apt, K.R., de Boer, F.S., Olderog, E.: Verification of sequential and concurrent programs. In: Apt, K.R., de Boer, F.S., Olderog, E. (eds.) Texts in Computer Science. Springer, Heidelberg (2009)"},{"issue":"2","key":"24_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF01211617","volume":"9","author":"Q Xu","year":"1997","unstructured":"Xu, Q., de Roever, W.P., He, J.: The rely-guarantee method for verifying shared variable concurrent programs. Formal Asp. Comput. 9(2), 149\u2013174 (1997)","journal-title":"Formal Asp. Comput."},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-48959-2_14","volume-title":"Typed Lambda Calculi and Applications","author":"H Goguen","year":"1999","unstructured":"Goguen, H.: Soundness of the logical framework for its typed operational semantic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol. 1581, pp. 177\u2013197. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48959-2_14"},{"key":"24_CR11","doi-asserted-by":"crossref","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. Electr. Notes Theor. Comput. Sci. 158, 331\u2013353 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"10","key":"24_CR12","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"24_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8047-2","volume-title":"Discrete Mathematics","author":"J Gallier","year":"2011","unstructured":"Gallier, J.: Mathematical reasoning, proof principles, and logic. In: Gallier, J. (ed.) Discrete Mathematics. Springer, New York (2011)"},{"issue":"1","key":"24_CR14","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10288-008-0072-x","volume":"7","author":"S Vuyst De","year":"2008","unstructured":"De Vuyst, S., Tworus, K., Wittevrongel, S., Bruneel, H.: Analysis of stop-and-wait ARQ for a wireless channel. 4OR 7(1), 61\u201378 (2008)","journal-title":"4OR"},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1109\/ACCESS.2016.2518085","volume":"4","author":"J Wu","year":"2016","unstructured":"Wu, J., Fan, P.: A survey on high mobility wireless communications: challenges, opportunities and solutions. IEEE Access 4, 450\u2013476 (2016)","journal-title":"IEEE Access"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-14806-9_6","volume-title":"Unifying Theories of Programming","author":"X Wu","year":"2015","unstructured":"Wu, X., Zhu, H., Wu, X.: Observation-oriented semantics for calculus of wireless systems. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 105\u2013124. Springer, Cham (2015). doi:\n10.1007\/978-3-319-14806-9_6"},{"key":"24_CR17","unstructured":"Hoare, C.A.R.: Algebra of concurrent programming. In: Meeting 52 of WG 2.3. (2011)"}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T08:14:29Z","timestamp":1500884069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}