{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:32:34Z","timestamp":1742949154168,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031671135"},{"type":"electronic","value":"9783031671142"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-67114-2_1","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:42:47Z","timestamp":1725507767000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Denotational and\u00a0Algebraic Semantics for the\u00a0SMrCaIT Calculus Based on\u00a0UTP"],"prefix":"10.1007","author":[{"given":"Ningning","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall, London (1998)","DOI":"10.1007\/BFb0002714"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11768173","volume-title":"Unifying Theories of Programming","year":"2006","unstructured":"Dunne, S., Stoddart, B. (eds.): UTP 2006. LNCS, vol. 4010. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11768173"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52228-9","volume-title":"Unifying Theories of Programming","year":"2017","unstructured":"Bowen, J.P., Zhu, H. (eds.): UTP 2016. LNCS, vol. 10134. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52228-9"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39698-4","volume-title":"Theories of Programming and Formal Methods","year":"2013","unstructured":"Liu, Z., Woodcock, J., Zhu, H. (eds.): Theories of Programming and Formal Methods. LNCS, vol. 8051. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39698-4"},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90158-5","volume-title":"Internet of Things from Hype to Reality","author":"A Rayes","year":"2022","unstructured":"Rayes, A., Salam, S.: Internet of Things from Hype to Reality. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-90158-5"},{"key":"1_CR6","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-27281-3_35","volume-title":"Computer and Computing Technologies in Agriculture V","author":"H Zhou","year":"2012","unstructured":"Zhou, H., Liu, B.W., Dong, P.P.: The Technology System Framework of the Internet of Things and Its Application Research in Agriculture. In: Li, D., Chen, Y. (eds.) CCTA 2011. IAICT, vol. 368, pp. 293\u2013300. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27281-3_35"},{"issue":"15","key":"1_CR7","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010)","journal-title":"Comput. Netw."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Nienhuis, K., Joannou, A., Bauereiss, T.: Rigorous engineering for hardware security: formal modelling and proof in the cheri design and implementation process. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 1003\u20131020. IEEE (2020)","DOI":"10.1109\/SP40000.2020.00055"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Lanese, I., Bedogni, L., Di Felice, M.: Internet of things: a process calculus approach. In: Shin, S.Y., Maldonado, J.C. (eds.) Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC \u201913, Coimbra, Portugal, March 18-22, 2013, pp. 1339\u20131346. ACM (2013)","DOI":"10.1145\/2480362.2480615"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-39519-7_3","volume-title":"Coordination Models and Languages","author":"C Bodei","year":"2016","unstructured":"Bodei, C., Degano, P., Ferrari, G.-L., Galletta, L.: Where do your IoT ingredients come from? In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 35\u201350. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39519-7_3"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Chen, N., Zhu, H.: A process calculus SMrCaIT for IoT. J. Softw. Evol. Process. 36(5), e2595 (2024)","DOI":"10.1002\/smr.2595"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Abadi, M., Blanchet, B., Fournet, C.: The applied pi calculus: mobile values, new names, and secure communication. J. ACM 65(1), 1:1\u20131:41 (2018)","DOI":"10.1145\/3127586"},{"key":"1_CR13","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-10007-5_35","volume-title":"Abstract Software Specifications","author":"JE Stoy","year":"1980","unstructured":"Stoy, J.E.: Foundations of denotational semantics. In: Bj\u00f8orner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 43\u201399. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10007-5_35"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., et al.: Laws of programming. Commun. ACM 30(8), 672\u2013686 (1987)","DOI":"10.1145\/27651.27653"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Shi, L., Zhao, Y., Liu, Y., Sun, J., Dong, J.S., Qin, S.: A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4), 351\u2013380 (2018)","DOI":"10.1007\/s00165-018-0453-7"},{"key":"1_CR17","unstructured":"Watt, D.A.: Programming Language Syntax and Semantics. Prentice Hall International Series in Computer Science. Prentice Hall, Landon (1991)"},{"issue":"5","key":"1_CR18","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1002\/wcm.72","volume":"2","author":"T Camp","year":"2002","unstructured":"Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wirel. Commun. Mob. Comput. 2(5), 483\u2013502 (2002)","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-02053-7_6","volume-title":"Coordination Models and Languages","author":"JC Godskesen","year":"2009","unstructured":"Godskesen, J.C., Nanz, S.: Mobility models and behavioural equivalence for wireless networks. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 106\u2013122. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02053-7_6"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the Spi calculus. Inf. Comput. 148(1), 1\u201370 (1999)","journal-title":"Inf. Comput."},{"issue":"10","key":"1_CR21","doi-asserted-by":"publisher","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":"1_CR22","unstructured":"Huet, G., Kahn, G., Paulin-Mohring, C.: The coq proof assistant a tutorial. Rapport Technique, 178 (1997)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","year":"1994","unstructured":"Paulson, L.C. (ed.): Isabelle. LNCS, vol. 828. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0030541"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55602-8_217"}],"container-title":["Lecture Notes in Computer Science","The Application of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-67114-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:42:59Z","timestamp":1725507779000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-67114-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031671135","9783031671142"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-67114-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}