{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:16:12Z","timestamp":1760044572732,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T00:00:00Z","timestamp":1685059200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,26]]},"DOI":"10.1145\/3603781.3603896","type":"proceedings-article","created":{"date-parts":[[2023,7,27]],"date-time":"2023-07-27T18:02:29Z","timestamp":1690480949000},"page":"653-657","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Timed Calculus with Mobility for Wireless Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4044-7320","authenticated-orcid":false,"given":"Wanling","family":"Xie","sequence":"first","affiliation":[{"name":"School of Computer Science and Artificial Intelligence, Aliyun School of Big Data, School of Software, ChangZhou University, ChangZhou, China, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0214-8565","authenticated-orcid":false,"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5795-9798","authenticated-orcid":false,"given":"Xi","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Computer Science, The University of Sydney, Australia, Australia"}]}],"member":"320","published-online":{"date-parts":[[2023,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.029"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.01.023"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.07.016"},{"key":"e_1_3_2_1_4_1","first-page":"2","article-title":"A Calculus of Broadcasting","volume":"25","author":"Prasad K. V. S.","year":"1995","unstructured":"K. V. S. Prasad . 1995 . A Calculus of Broadcasting Systems. Sci. Comput. Program. 25 , 2 - 3 (1995), 285\u2013327. K. V. S. Prasad. 1995. A Calculus of Broadcasting Systems. Sci. Comput. Program. 25, 2-3 (1995), 285\u2013327.","journal-title":"Systems. Sci. Comput. Program."},{"volume-title":"Communicating and mobile systems - the Pi-calculus","author":"Milner Robin","key":"e_1_3_2_1_5_1","unstructured":"Robin Milner . 1999. Communicating and mobile systems - the Pi-calculus . Cambridge University Press . Robin Milner. 1999. Communicating and mobile systems - the Pi-calculus. Cambridge University Press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80699-1"},{"key":"e_1_3_2_1_7_1","volume-title":"9th International Conference, 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. 132\u2013150","author":"Chr Jens","year":"2007","unstructured":"Jens Chr . Godskesen. 2007 . A Calculus for Mobile Ad Hoc Networks. In Coordination Models and Languages , 9th International Conference, 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. 132\u2013150 ., Jens Chr. Godskesen. 2007. A Calculus for Mobile Ad Hoc Networks. In Coordination Models and Languages, 9th International Conference, 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. 132\u2013150.,"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.11.010"},{"key":"e_1_3_2_1_9_1","volume-title":"A node embedding approach. SIGMETRICS Perform. Evaluation Rev. 49, 4","author":"Understanding","year":"2022","unstructured":"Understanding mobility in networks : A node embedding approach. SIGMETRICS Perform. Evaluation Rev. 49, 4 ( 2022 ), 124\u2013130. Understanding mobility in networks: A node embedding approach. SIGMETRICS Perform. Evaluation Rev. 49, 4 (2022), 124\u2013130."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-020-02493-y"},{"volume-title":"11th International Conference, 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. 106\u2013122","author":"Chr Jens","key":"e_1_3_2_1_11_1","unstructured":"Jens Chr . Godskesen and Sebastian Nanz. 2009. Mobility Models and Behavioural Equivalence for Wireless Networks. In Coordination Models and Languages , 11th International Conference, 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. 106\u2013122 . Jens Chr. Godskesen and Sebastian Nanz. 2009. Mobility Models and Behavioural Equivalence for Wireless Networks. In Coordination Models and Languages, 11th International Conference, 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. 106\u2013122."},{"key":"e_1_3_2_1_12_1","volume-title":"Program and Verify Systems in Rewriting Logic","volume":"4350","author":"Clavel Manuel","year":"2007","unstructured":"Manuel Clavel , Francisco Dur\u00e1n , Steven Eker , Patrick Lincoln , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , and Carolyn L . Talcott (Eds.). 2007. All About Maude - A High-Performance Logical Framework, How to Specify , Program and Verify Systems in Rewriting Logic , Springer , Vol. 4350 ( 2007 ) Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn L. Talcott (Eds.). 2007. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Springer, Vol. 4350 (2007)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"e_1_3_2_1_14_1","first-page":"43","volume-title":"Abstract Software Specifications","author":"Stoy Joseph E.","year":"1979","unstructured":"Joseph E. Stoy . 1979 . Foundations of Denotational Semantics . Abstract Software Specifications , (1979), 43 - 99 . Joseph E. Stoy. 1979. Foundations of Denotational Semantics. Abstract Software Specifications, (1979), 43-99."},{"key":"e_1_3_2_1_15_1","volume-title":"Algebraic theory of processes","author":"Hennessy Matthew","year":"1988","unstructured":"Matthew Hennessy . 1988. Algebraic theory of processes . MIT Press series in the foundations of computing, MIT Press , I-VI ( 1988 ), 1-270. Matthew Hennessy. 1988. Algebraic theory of processes. MIT Press series in the foundations of computing, MIT Press, I-VI (1988), 1-270."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0249-0"}],"event":{"name":"CNIOT'23: 2023 4th International Conference on Computing, Networks and Internet of Things","acronym":"CNIOT'23","location":"Xiamen China"},"container-title":["Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603781.3603896","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603781.3603896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:11Z","timestamp":1750178831000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603781.3603896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,26]]},"references-count":16,"alternative-id":["10.1145\/3603781.3603896","10.1145\/3603781"],"URL":"https:\/\/doi.org\/10.1145\/3603781.3603896","relation":{},"subject":[],"published":{"date-parts":[[2023,5,26]]},"assertion":[{"value":"2023-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}