{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T14:48:30Z","timestamp":1746456510528,"version":"3.37.3"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"Defense Industrial Technology Development Program","award":["JCKY 2016212B004-2"],"award-info":[{"award-number":["JCKY 2016212B004-2"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2914228","type":"journal-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:09:32Z","timestamp":1556741372000},"page":"57172-57187","source":"Crossref","is-referenced-by-count":3,"title":["A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0685-6905","authenticated-orcid":false,"given":"Yuanrui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hengyang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1014"},{"journal-title":"Concurrent and Real-Time Systems The CSP Approach","year":"1999","author":"schneider","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2391014"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2013.6654039"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-011-9218-x"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39031-9_11"},{"journal-title":"Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"ref37"},{"key":"ref36","first-page":"165","article-title":"A spatial logic based on regions and connection","author":"randell","year":"1992","journal-title":"Proc Int Conf Principles Knowledge Represent Reasoning"},{"key":"ref35","first-page":"377","article-title":"Constraint propagation algorithms for temporal reasoning","author":"vilain","year":"1986","journal-title":"Proc Nat Conf Artif Intell (AAAI)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"journal-title":"Geographical Information Systems","year":"2017","author":"irwansyah","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"A Calculus of Communicating Systems","year":"1982","author":"milner","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211247"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80699-1"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1007\/s11704-018-7054-8","article-title":"A verification framework for spatio-temporal consistency language with CCSL as a specification language","author":"zhang","year":"2018","journal-title":"Frontiers of Computer Science"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-015-0339-x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2501"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.02.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2004.04.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48157-5_29"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.03.008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2012.11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/nrm1838"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2016.1277554"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.12.010"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.188.3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.008"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2812598"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39519-7_10"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2800835.2809508"},{"key":"ref25","article-title":"A behavioural theory for interactions in collective-adaptive systems","author":"alrahman","year":"2017","journal-title":"CoRR"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08704337.pdf?arnumber=8704337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:40:04Z","timestamp":1628624404000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8704337\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2914228","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}