{"id":"https://openalex.org/W4409310640","doi":"https://doi.org/10.1145/3720478","title":"HpC: A Calculus for Hybrid and Mobile Systems","display_name":"HpC: A Calculus for Hybrid and Mobile Systems","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409310640","doi":"https://doi.org/10.1145/3720478"},"language":"en","primary_location":{"id":"doi:10.1145/3720478","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720478","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3720478","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110988055","display_name":"Xiong Xu","orcid":"https://orcid.org/0000-0003-4236-9992"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiong Xu","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-4236-9992","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010968465","display_name":"Jean-Pierre Talpin","orcid":"https://orcid.org/0000-0002-0556-4265"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Talpin","raw_affiliation_strings":["INRIA, Rennes, France"],"raw_orcid":"https://orcid.org/0000-0002-0556-4265","affiliations":[{"raw_affiliation_string":"INRIA, Rennes, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100683176","display_name":"Shuling Wang","orcid":"https://orcid.org/0000-0002-2798-2660"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuling Wang","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-2798-2660","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100584460","display_name":"Hao Wu","orcid":"https://orcid.org/0000-0001-9368-4744"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Wu","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9368-4744","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078226330","display_name":"Bohua Zhan","orcid":"https://orcid.org/0000-0001-5377-9351"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bohua Zhan","raw_affiliation_strings":["Huawei Technologies Co., Ltd., Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-5377-9351","affiliations":[{"raw_affiliation_string":"Huawei Technologies Co., Ltd., Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100379552","display_name":"Xinxin Liu","orcid":"https://orcid.org/0000-0002-8334-8277"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinxin Liu","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8334-8277","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3298-3817","affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0667,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73614191,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"1158","last_page":"1183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/calculus","display_name":"Calculus (dental)","score":0.6127510070800781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5099900960922241},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.16322961449623108}],"concepts":[{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.6127510070800781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5099900960922241},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.16322961449623108},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720478","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720478","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3720478","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720478","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W77844296","https://openalex.org/W1523525039","https://openalex.org/W1548324490","https://openalex.org/W1558296274","https://openalex.org/W1581792297","https://openalex.org/W1607353007","https://openalex.org/W1968813561","https://openalex.org/W1977444293","https://openalex.org/W1985161650","https://openalex.org/W1994475353","https://openalex.org/W1995691455","https://openalex.org/W2011979623","https://openalex.org/W2013672985","https://openalex.org/W2036541902","https://openalex.org/W2044667269","https://openalex.org/W2077815947","https://openalex.org/W2087356426","https://openalex.org/W2111271492","https://openalex.org/W2113597446","https://openalex.org/W2125614702","https://openalex.org/W2126489030","https://openalex.org/W2128932399","https://openalex.org/W2129729773","https://openalex.org/W2130774155","https://openalex.org/W2133442509","https://openalex.org/W2143110421","https://openalex.org/W2147340401","https://openalex.org/W2176215692","https://openalex.org/W2490188604","https://openalex.org/W2590993945","https://openalex.org/W2766658289","https://openalex.org/W2798712453","https://openalex.org/W2885880873","https://openalex.org/W2899726318","https://openalex.org/W2964196829","https://openalex.org/W3004215995","https://openalex.org/W3107091170","https://openalex.org/W3134644061","https://openalex.org/W3163059246","https://openalex.org/W3217694117","https://openalex.org/W4205178436","https://openalex.org/W4206771601","https://openalex.org/W4211008702","https://openalex.org/W4214535918","https://openalex.org/W4239940594","https://openalex.org/W4361193799","https://openalex.org/W4384825756","https://openalex.org/W4384938330","https://openalex.org/W4385299118","https://openalex.org/W4393325069","https://openalex.org/W4400189356","https://openalex.org/W4406548644"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Networked":[0],"cybernetic":[1],"and":[2,13,19,24,36,41,63,81,89,116,140,145],"physical":[3,97],"systems":[4,32],"of":[5,8,22,30,39,59,65,131,147,161],"the":[6,34,57,61,71,86,96,132,136,159,166],"Internet":[7],"Things":[9],"(IoT)":[10],"immerse":[11],"civilian":[12],"industrial":[14],"infrastructures":[15,84],"into":[16],"an":[17],"interconnected":[18],"dynamic":[20],"web":[21],"hybrid":[23,35,72],"mobile":[25,40,114,175],"devices.":[26,176],"The":[27,99,123],"key":[28],"feature":[29],"such":[31,66],"is":[33,107,127,138],"tight":[37],"coupling":[38],"pervasive":[42],"discrete":[43],"communications":[44,115],"in":[45,83,95,118],"a":[46,108,119,128,170],"continuously":[47,94],"evolving":[48],"environment":[49],"(discrete":[50],"computations":[51,117],"with":[52],"predominant":[53],"continuous":[54],"dynamics).":[55],"In":[56],"aim":[58],"ensuring":[60],"correctness":[62],"reliability":[64],"heterogeneous":[67],"infrastructures,":[68],"we":[69,125],"introduce":[70],"\u03c0-calculus":[73,100],"(HpC),":[74],"to":[75,151,158],"formally":[76],"capture":[77],"both":[78],"mobility,":[79,143],"pervasiveness":[80],"hybridisation":[82],"where":[85],"network":[87],"topology":[88],"its":[90],"communicating":[91],"entities":[92],"evolve":[93],"world.":[98],"proposed":[101],"by":[102,168],"Robin":[103],"Milner":[104],"et":[105],"al.":[106],"process":[109],"calculus":[110],"that":[111,162],"can":[112],"model":[113],"very":[120],"elegant":[121],"manner.":[122],"HpC":[124,167],"propose":[126],"conservative":[129],"extension":[130,137],"classical":[133],"\u03c0-calculus,":[134],"i.e.,":[135],"\u201cminimal\u201d,":[139],"yet":[141],"describes":[142],"time":[144],"physics":[146],"systems,":[148],"while":[149],"allowing":[150],"lift":[152],"all":[153],"theoretical":[154],"results":[155],"(e.g.":[156],"bisimulation)":[157],"context":[160],"extension.":[163],"We":[164],"showcase":[165],"considering":[169],"realistic":[171],"handover":[172],"protocol":[173],"among":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}