{"id":"https://openalex.org/W2942868712","doi":"https://doi.org/10.1109/access.2019.2914228","title":"A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour","display_name":"A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2942868712","doi":"https://doi.org/10.1109/access.2019.2914228","mag":"2942868712"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2914228","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2914228","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08704337.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08704337.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006367985","display_name":"Yuanrui Zhang","orcid":"https://orcid.org/0000-0002-0685-6905"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanrui Zhang","raw_affiliation_strings":["MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-0685-6905","affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102000768","display_name":"Yixiang Chen","orcid":"https://orcid.org/0000-0003-1235-5530"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixiang Chen","raw_affiliation_strings":["MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043695568","display_name":"Hengyang Wu","orcid":"https://orcid.org/0000-0001-6342-663X"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengyang Wu","raw_affiliation_strings":["MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.3856,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.62240779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"7","issue":null,"first_page":"57172","last_page":"57187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.8110400438308716},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.6206128597259521},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5710157155990601},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5212208032608032},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5005843639373779},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.4764050543308258},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46042749285697937},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.42149603366851807},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42086759209632874},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37291258573532104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28947392106056213},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21388697624206543},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1781376302242279}],"concepts":[{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.8110400438308716},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.6206128597259521},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5710157155990601},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5212208032608032},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5005843639373779},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.4764050543308258},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46042749285697937},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.42149603366851807},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42086759209632874},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37291258573532104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28947392106056213},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21388697624206543},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1781376302242279},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2914228","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2914228","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08704337.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:398ef404c8bd4aaaa2fb19d46670d8d6","is_oa":true,"landing_page_url":"https://doaj.org/article/398ef404c8bd4aaaa2fb19d46670d8d6","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 57172-57187 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2914228","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2914228","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08704337.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2942868712.pdf","grobid_xml":"https://content.openalex.org/works/W2942868712.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W84212783","https://openalex.org/W956012896","https://openalex.org/W1528419757","https://openalex.org/W1571487936","https://openalex.org/W1745205774","https://openalex.org/W1887007263","https://openalex.org/W1964514022","https://openalex.org/W1990328104","https://openalex.org/W1992604651","https://openalex.org/W2037230951","https://openalex.org/W2039542278","https://openalex.org/W2045202627","https://openalex.org/W2055378322","https://openalex.org/W2076430755","https://openalex.org/W2078120943","https://openalex.org/W2107951442","https://openalex.org/W2116537119","https://openalex.org/W2126860147","https://openalex.org/W2128932399","https://openalex.org/W2129384397","https://openalex.org/W2137453611","https://openalex.org/W2157576487","https://openalex.org/W2157989234","https://openalex.org/W2158942489","https://openalex.org/W2161484642","https://openalex.org/W2169239645","https://openalex.org/W2169983600","https://openalex.org/W2194869982","https://openalex.org/W2274568150","https://openalex.org/W2285521038","https://openalex.org/W2481588761","https://openalex.org/W2573646622","https://openalex.org/W2768214012","https://openalex.org/W2800753998","https://openalex.org/W2802452974","https://openalex.org/W2900740191","https://openalex.org/W4211008702","https://openalex.org/W4234816175","https://openalex.org/W6600033781","https://openalex.org/W6631560273","https://openalex.org/W6746022809"],"related_works":["https://openalex.org/W2382957647","https://openalex.org/W2094667621","https://openalex.org/W1509295490","https://openalex.org/W3013987451","https://openalex.org/W2962878999","https://openalex.org/W4206240906","https://openalex.org/W1968830388","https://openalex.org/W2077815947","https://openalex.org/W2809357786","https://openalex.org/W1823625875"],"abstract_inverted_index":{"Distributive":[0],"real-time":[1,338],"autonomous":[2,339],"systems":[3,6,10,22,340,346],"like":[4,341],"cyber-physical":[5],"(CPS)":[7],"and":[8,161,179,207,242,288,324],"biology":[9],"have":[11],"become":[12,74],"a":[13,24,75,85,97,123,135,145,159,225,230,270,279,331],"hot":[14],"topic":[15],"nowadays.":[16],"The":[17,105,148,167,244,273,294],"high-level":[18],"design":[19],"of":[20,30,57,108,126,170,177,247,296,302],"these":[21],"shares":[23],"common":[25],"characteristic":[26],"that":[27,112,129,235,251,311],"the":[28,43,54,69,102,117,174,180,216,256,283,300],"behavior":[29,68,218,234,295,329],"agents":[31,36,47,121,181,260],"is":[32,111,142,236,250,267,330],"always":[33,51],"space-related:":[34],"i.e.,":[35],"are":[37,50],"involved":[38],"in":[39,144,154,205,269,286,335,361],"an":[40,152,306],"environment":[41,176,187],"where":[42],"space":[44,58,118,146,149,165,171,241,271,274,292,303,321,365],"relations":[45,59,119,128,323,367],"between":[46,120,259],"count.":[48],"Agents":[49],"sensitive":[52,237],"to":[53,185,190,214,238,363],"discrete":[55],"change":[56],"among":[60,368],"them":[61],"at":[62,305],"explicit":[63,307],"time.":[64,191,243],"We":[65,192,223,348],"call":[66],"such":[67],"spatio-temporal":[70,103,217,328],"behavior,":[71],"which":[72],"has":[73],"critical":[76,332],"research":[77,333],"point":[78,334],"recently.":[79],"In":[80,138],"this":[81],"paper,":[82],"we":[83],"propose":[84,224,349],"process":[86,227],"algebra":[87,110,228,249],"called":[88],"Communicating":[89],"Sequential":[90],"Process":[91],"with":[92,163,201,282,290,357],"Qualitative":[93],"calculus":[94,203,359],"(QCSP)":[95],"as":[96,158,229,278],"formal":[98,231],"language":[99],"for":[100,233],"modeling":[101],"behavior.":[104],"key":[106,245],"feature":[107,246],"our":[109,194,248,350],"it":[113,252,287,362],"can":[114,156,211,253,276,314],"reason":[115,254],"about":[116,255],"by":[122,196,219,261,310,352],"finite":[124],"set":[125],"binary":[127],"obey":[130],"certain":[131,312,320],"mathematical":[132],"conditions":[133],"-":[134],"qualitative":[136,202,239,263,358],"calculus.":[137,264],"QCSP,":[139],"each":[140],"agent":[141,153,266,284,297],"confined":[143,268,285],"region.":[147,272],"region":[150,275,322,366],"(with":[151],"it)":[155],"move":[157,277],"whole":[160,280],"interact":[162,289],"other":[164,291],"regions.":[166,293],"topological":[168],"structure":[169],"regions":[172,304],"forms":[173],"outer":[175],"agents,":[178],"react":[182],"timely":[183],"according":[184],"their":[186],"from":[188],"time":[189,325],"built":[193],"calculi":[195,351],"conservatively":[197,353],"extending":[198,354],"Timed":[199,355],"CSP":[200,356],"embedded":[204,360],"it,":[206],"illustrate":[208],"how":[209],"QCSP":[210],"be":[212,315],"used":[213],"model":[215,232],"analyzing":[220],"three":[221],"examples.":[222],"special":[226],"changing":[240],"relative":[257],"location":[258],"using":[262],"Each":[265],"along":[281],"depends":[298],"on":[299],"interaction":[301],"time,":[308],"shown":[309],"actions":[313],"triggered":[316],"(or":[317],"allowed)":[318],"under":[319],"condition.":[326],"Such":[327],"nowadays":[336],"distributive":[337],"CPS":[342],"or":[343],"intelligent":[344],"transportation":[345],"(ITS).":[347],"capture":[364],"agents.":[369]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}