{"id":"https://openalex.org/W4409229054","doi":"https://doi.org/10.1017/s0960129525000015","title":"On higher-order communication in ambient calculi","display_name":"On higher-order communication in ambient calculi","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409229054","doi":"https://doi.org/10.1017/s0960129525000015"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129525000015","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129525000015","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","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/A5088455728","display_name":"Xian Xu","orcid":"https://orcid.org/0000-0001-9713-9751"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xian Xu","raw_affiliation_strings":["East China University of Science and Technology, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100715216","display_name":"Yan Huang","orcid":"https://orcid.org/0000-0002-7925-4841"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Huang","raw_affiliation_strings":["East China University of Science and Technology, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069333345","display_name":"Z. P. Yao","orcid":"https://orcid.org/0009-0001-7110-3985"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhihuan Yao","raw_affiliation_strings":["East China University of Science and Technology, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China University of Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I143593769"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088455728"],"corresponding_institution_ids":["https://openalex.org/I143593769"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03327358,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9850000143051147,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9840999841690063,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/order","display_name":"Order (exchange)","score":0.6286269426345825},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4561036229133606},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32961946725845337},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.1183750331401825}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6286269426345825},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4561036229133606},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32961946725845337},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.1183750331401825},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129525000015","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129525000015","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W91613743","https://openalex.org/W258022877","https://openalex.org/W369805404","https://openalex.org/W1530882603","https://openalex.org/W1591752798","https://openalex.org/W1790031272","https://openalex.org/W1894198336","https://openalex.org/W1968539782","https://openalex.org/W1985393656","https://openalex.org/W1990041920","https://openalex.org/W2001299902","https://openalex.org/W2008838944","https://openalex.org/W2031315747","https://openalex.org/W2033051110","https://openalex.org/W2045202627","https://openalex.org/W2050942832","https://openalex.org/W2075116711","https://openalex.org/W2087663894","https://openalex.org/W2095421079","https://openalex.org/W2098401737","https://openalex.org/W2102898083","https://openalex.org/W2126431612","https://openalex.org/W2126724881","https://openalex.org/W2128932399","https://openalex.org/W2131347002","https://openalex.org/W2131641020","https://openalex.org/W2161628464","https://openalex.org/W2911711976","https://openalex.org/W2912003593","https://openalex.org/W2912565202","https://openalex.org/W2999286499","https://openalex.org/W6683625228"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"Abstract":[0],"We":[1,117,181],"revisit":[2],"the":[3,31,71,77,140,152,171,183,193,202,206,211,221],"communication":[4,11,32,53,60,81,113,146],"primitive":[5],"in":[6,54,103,127,174,208],"ambient":[7,55],"calculi.":[8,56],"Previously,":[9],"such":[10,58],"was":[12],"confined":[13],"to":[14,110],"first-order":[15],"(FO)":[16],"mode":[17,29,41],"(e.g.,":[18,30,42,131],"merely":[19,121],"names":[20],"or":[21,38,142],"capabilities":[22],"of":[23,67,73,80,92,145,159,188,214],"ambients":[24,74,89,101,126,217],"can":[25,83,247],"be":[26,100],"sent),":[27],"local":[28,141],"only":[33,78],"occurs":[34],"inside":[35],"an":[36],"ambient),":[37],"particular":[39],"cross-hierarchy":[40],"parent-child":[43],"communication).":[44],"In":[45,229],"this":[46,136,149],"work,":[47],"we":[48,138,154,191,204,231,243],"explore":[49],"further":[50],"higher-order":[51],"(HO)":[52],"Specifically,":[57],"a":[59,64,68,104,128,157,197,227,249],"mechanism":[61],"allows":[62],"sending":[63],"whole":[65],"piece":[66],"program":[69],"across":[70],"borders":[72],"and":[75,186,218,254],"is":[76,179,226,256],"form":[79],"that":[82,119,147,175,220,233,245],"happen":[84],"exactly":[85],"between":[86,123,132],"ambients.":[87],"Since":[88],"are":[90],"basically":[91],"HO":[93,112,164,252],"nature":[94],"(i.e.,":[95,224,239],"those":[96],"being":[97],"moved":[98],"may":[99],"themselves),":[102],"sense,":[105],"it":[106],"appears":[107],"more":[108],"natural":[109],"have":[111],"than":[114],"FO":[115],"communication.":[116],"stipulate":[118],"communications":[120],"occur":[122],"equally":[124],"positioned":[125],"peer-to-peer":[129],"fashion":[130],"sibling":[133],"ambients).":[134],"Following":[135],"line,":[137],"drop":[139],"other":[143],"forms":[144],"violate":[148],"criterion.":[150],"As":[151],"workbench,":[153],"work":[155],"on":[156],"variant":[158,168],"Fair":[160],"Ambients":[161],"extended":[162],"with":[163,210,236],"communication,":[165],"FAHO.":[166,189],"This":[167],"also":[169],"strengthens":[170],"original":[172],"version":[173],"entirely":[176],"real-identity":[177],"interaction":[178],"guaranteed.":[180],"study":[182],"semantics,":[184,203],"bisimulation,":[185],"expressiveness":[187],"Particularly,":[190],"provide":[192],"operational":[194],"semantics":[195],"using":[196],"labeled":[198],"transition":[199],"system.":[200],"Over":[201],"define":[205],"bisimulation":[207,215,222],"line":[209],"standard":[212],"notion":[213],"for":[216],"prove":[219],"equivalence":[223],"bisimilarity)":[225],"congruence.":[228],"addition,":[230],"demonstrate":[232],"bisimilarity":[234],"coincides":[235],"observational":[237],"congruence":[238],"barbed":[240],"congruence).":[241],"Moreover,":[242],"show":[244],"FAHO":[246],"encode":[248],"minimal":[250],"Turing-complete":[251],"calculus":[253],"thus":[255],"computationally":[257],"complete.":[258]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}