{"id":"https://openalex.org/W2885842066","doi":"https://doi.org/10.1007/s00165-018-0467-1","title":"A UTP approach for rTiMo","display_name":"A UTP approach for rTiMo","publication_year":2018,"publication_date":"2018-08-10","ids":{"openalex":"https://openalex.org/W2885842066","doi":"https://doi.org/10.1007/s00165-018-0467-1","mag":"2885842066"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-018-0467-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-018-0467-1","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103126885","display_name":"Wanling Xie","orcid":"https://orcid.org/0000-0002-4044-7320"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"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":"Wanling Xie","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-4044-7320","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030223543","display_name":"Shuangqing Xiang","orcid":"https://orcid.org/0000-0002-5765-7674"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"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":"Shuangqing Xiang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"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":"Huibiao Zhu","raw_affiliation_strings":["School of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China","Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China","Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China School of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China","institution_ids":["https://openalex.org/I180726961"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal University, 200062, Shanghai, China School of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China","institution_ids":["https://openalex.org/I180726961","https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":1.3281,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82770096,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"30","issue":"6","first_page":"713","last_page":"738"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.7762801051139832},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.754889965057373},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6379249095916748},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6299251317977905},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5982452630996704},{"id":"https://openalex.org/keywords/communicating-sequential-processes","display_name":"Communicating sequential processes","score":0.5911570191383362},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5860155820846558},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5628815293312073},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5482079982757568},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5449551343917847},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5262529253959656},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4664442241191864},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.4607047140598297},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4522862136363983},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4506179094314575},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.42817291617393494},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.4118092656135559},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.32105326652526855},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1685517430305481}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7762801051139832},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.754889965057373},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6379249095916748},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6299251317977905},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5982452630996704},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.5911570191383362},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5860155820846558},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5628815293312073},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5482079982757568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5449551343917847},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5262529253959656},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4664442241191864},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.4607047140598297},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4522862136363983},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4506179094314575},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.42817291617393494},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.4118092656135559},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.32105326652526855},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1685517430305481},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-018-0467-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-018-0467-1","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G6883627342","display_name":null,"funder_award_id":"Grant No. 61361136002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W77844296","https://openalex.org/W87188743","https://openalex.org/W119570465","https://openalex.org/W124434858","https://openalex.org/W146979983","https://openalex.org/W638902413","https://openalex.org/W1481018260","https://openalex.org/W1481365453","https://openalex.org/W1483727752","https://openalex.org/W1514943866","https://openalex.org/W1520054650","https://openalex.org/W1522471348","https://openalex.org/W1560886219","https://openalex.org/W1562528106","https://openalex.org/W1582557530","https://openalex.org/W1586167239","https://openalex.org/W1587750183","https://openalex.org/W1596261052","https://openalex.org/W1597593761","https://openalex.org/W1598754349","https://openalex.org/W1603799276","https://openalex.org/W1696557569","https://openalex.org/W1700678307","https://openalex.org/W1963604750","https://openalex.org/W1978773992","https://openalex.org/W1982828147","https://openalex.org/W1986561091","https://openalex.org/W1987693120","https://openalex.org/W1996298433","https://openalex.org/W2007809070","https://openalex.org/W2015172530","https://openalex.org/W2034971125","https://openalex.org/W2036541902","https://openalex.org/W2045440241","https://openalex.org/W2046213250","https://openalex.org/W2047749307","https://openalex.org/W2055530613","https://openalex.org/W2058440484","https://openalex.org/W2061414465","https://openalex.org/W2070249810","https://openalex.org/W2072033902","https://openalex.org/W2084245236","https://openalex.org/W2084918693","https://openalex.org/W2090309908","https://openalex.org/W2092481413","https://openalex.org/W2093236316","https://openalex.org/W2097948904","https://openalex.org/W2098270955","https://openalex.org/W2110846749","https://openalex.org/W2111706174","https://openalex.org/W2112717427","https://openalex.org/W2113755395","https://openalex.org/W2118229393","https://openalex.org/W2122755355","https://openalex.org/W2126815079","https://openalex.org/W2129901874","https://openalex.org/W2132761501","https://openalex.org/W2134801513","https://openalex.org/W2136920408","https://openalex.org/W2137865376","https://openalex.org/W2144609998","https://openalex.org/W2156177921","https://openalex.org/W2168643065","https://openalex.org/W2174475829","https://openalex.org/W2175682282","https://openalex.org/W2206274334","https://openalex.org/W2411931905","https://openalex.org/W2503255625","https://openalex.org/W2561675875","https://openalex.org/W2569167111","https://openalex.org/W2569787747","https://openalex.org/W2586003351","https://openalex.org/W2799615765","https://openalex.org/W2912003593","https://openalex.org/W2987907651","https://openalex.org/W3144368627","https://openalex.org/W3146075203","https://openalex.org/W4234528212","https://openalex.org/W4244204472","https://openalex.org/W4256074395","https://openalex.org/W4285719527","https://openalex.org/W6645235384"],"related_works":["https://openalex.org/W155357201","https://openalex.org/W2084426999","https://openalex.org/W1965724121","https://openalex.org/W1548537923","https://openalex.org/W635304050","https://openalex.org/W2142778060","https://openalex.org/W1536150964","https://openalex.org/W2148160518","https://openalex.org/W2515829486","https://openalex.org/W2126016661"],"abstract_inverted_index":{"Abstract":[0],"rTiMo":[1,89],"is":[2,11,33],"a":[3,12,59,91,115],"real-time":[4,73,129],"version":[5],"of":[6,61,93,117,131],"TiMo":[7],"(Timed":[8],"Mobility),":[9],"which":[10,120],"process":[13],"algebra":[14],"for":[15,27],"mobile":[16],"distributed":[17],"systems.":[18],"In":[19,75],"this":[20],"paper,":[21],"we":[22,57,87,112],"investigate":[23],"the":[24,37,44,47,54,65,68,79,83,107,126],"denotational":[25],"semantics":[26],"rTiMo.":[28],"A":[29],"trace":[30],"variable":[31],"tr":[32],"introduced":[34],"to":[35,77,101,106,124],"record":[36],"communications":[38],"among":[39],"processes":[40],"as":[41,43],"well":[42],"location":[45],"where":[46],"communication":[48,71],"action":[49],"takes":[50],"place.":[51],"Based":[52],"on":[53],"formalized":[55],"model,":[56],"study":[58],"set":[60,116],"algebraic":[62,80],"laws,":[63,86],"especially":[64],"laws":[66],"about":[67,82],"migration":[69],"and":[70,128],"with":[72,90],"constraints.":[74],"order":[76],"facilitate":[78],"reasoning":[81],"parallel":[84,104],"expansion":[85],"enrich":[88],"form":[92],"guarded":[94,108],"choice":[95,109],".":[96],"This":[97],"can":[98,121],"enable":[99],"us":[100],"convert":[102],"every":[103],"program":[105],"form.":[110],"Moreover,":[111],"also":[113],"provide":[114],"proof":[118],"rules,":[119],"be":[122],"used":[123],"verify":[125],"correctness":[127],"properties":[130],"programs.":[132]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}