{"id":"https://openalex.org/W2077160660","doi":"https://doi.org/10.1145/2400676.2400680","title":"Bisimulation for Quantum Processes","display_name":"Bisimulation for Quantum Processes","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W2077160660","doi":"https://doi.org/10.1145/2400676.2400680","mag":"2077160660"},"language":"en","primary_location":{"id":"doi:10.1145/2400676.2400680","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2400676.2400680","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2400676.2400680","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2400676.2400680","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022869475","display_name":"Yuan Feng","orcid":"https://orcid.org/0000-0002-3097-3896"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Yuan Feng","raw_affiliation_strings":["University of Technology, Sydney, Australia, and Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Technology, Sydney, Australia, and Tsinghua University, China","institution_ids":["https://openalex.org/I99065089","https://openalex.org/I114017466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109830244","display_name":"Runyao Duan","orcid":null},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Runyao Duan","raw_affiliation_strings":["University of Technology, Sydney, Australia, and Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Technology, Sydney, Australia, and Tsinghua University, China","institution_ids":["https://openalex.org/I99065089","https://openalex.org/I114017466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["University of Technology, Sydney, Australia, and Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Technology, Sydney, Australia, and Tsinghua University, China","institution_ids":["https://openalex.org/I99065089","https://openalex.org/I114017466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3433,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.88498056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"34","issue":"4","first_page":"1","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9972000122070312,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9972000122070312,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9950000047683716,"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/T11424","display_name":"Security and Verification in Computing","score":0.9937000274658203,"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/computer-science","display_name":"Computer science","score":0.6721762418746948},{"id":"https://openalex.org/keywords/quantum-cryptography","display_name":"Quantum cryptography","score":0.5866785049438477},{"id":"https://openalex.org/keywords/quantum-information-science","display_name":"Quantum information science","score":0.5436420440673828},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5215144753456116},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.5199759602546692},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5179587602615356},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5062021613121033},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5010538101196289},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4717201590538025},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4697932004928589},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.3989816904067993},{"id":"https://openalex.org/keywords/quantum-entanglement","display_name":"Quantum entanglement","score":0.36917048692703247},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.3476482927799225},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3144083321094513},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23203539848327637},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.20877662301063538},{"id":"https://openalex.org/keywords/quantum-dynamics","display_name":"Quantum dynamics","score":0.20224463939666748},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12609687447547913}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6721762418746948},{"id":"https://openalex.org/C144901912","wikidata":"https://www.wikidata.org/wiki/Q471906","display_name":"Quantum cryptography","level":4,"score":0.5866785049438477},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.5436420440673828},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5215144753456116},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.5199759602546692},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5179587602615356},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5062021613121033},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5010538101196289},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4717201590538025},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4697932004928589},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3989816904067993},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.36917048692703247},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3476482927799225},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3144083321094513},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23203539848327637},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.20877662301063538},{"id":"https://openalex.org/C15184713","wikidata":"https://www.wikidata.org/wiki/Q7269042","display_name":"Quantum dynamics","level":3,"score":0.20224463939666748},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12609687447547913}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2400676.2400680","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2400676.2400680","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2400676.2400680","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2400676.2400680","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2400676.2400680","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2400676.2400680","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5099999904632568}],"awards":[{"id":"https://openalex.org/G6584005596","display_name":null,"funder_award_id":"DP110103473DP130102764FT100100218","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2077160660.pdf","grobid_xml":"https://content.openalex.org/works/W2077160660.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W88975855","https://openalex.org/W173641204","https://openalex.org/W209109747","https://openalex.org/W1522399524","https://openalex.org/W1525305151","https://openalex.org/W1527730705","https://openalex.org/W1594984608","https://openalex.org/W1631356911","https://openalex.org/W1643301482","https://openalex.org/W1646328921","https://openalex.org/W1704074244","https://openalex.org/W1977542171","https://openalex.org/W1978553093","https://openalex.org/W1980535239","https://openalex.org/W1994676271","https://openalex.org/W1999702075","https://openalex.org/W2002372750","https://openalex.org/W2003803711","https://openalex.org/W2013672985","https://openalex.org/W2015172530","https://openalex.org/W2020725861","https://openalex.org/W2039139411","https://openalex.org/W2043158447","https://openalex.org/W2056928795","https://openalex.org/W2064622659","https://openalex.org/W2071435903","https://openalex.org/W2076218011","https://openalex.org/W2112989388","https://openalex.org/W2121225040","https://openalex.org/W2128932399","https://openalex.org/W2135115058","https://openalex.org/W2137852732","https://openalex.org/W2159566537","https://openalex.org/W2168676717","https://openalex.org/W2599980333","https://openalex.org/W2949594786","https://openalex.org/W6630104300"],"related_works":["https://openalex.org/W1547524815","https://openalex.org/W2951374406","https://openalex.org/W4300624557","https://openalex.org/W2091970733","https://openalex.org/W3020829080","https://openalex.org/W1532145728","https://openalex.org/W3081656401","https://openalex.org/W2560421581","https://openalex.org/W4247534063","https://openalex.org/W1971318400"],"abstract_inverted_index":{"Quantum":[0],"cryptographic":[1,161,208],"systems":[2,13],"have":[3,76,125],"been":[4,77,126],"commercially":[5],"available,":[6],"with":[7,232],"a":[8,89,120,181,289,304,318],"striking":[9],"advantage":[10],"over":[11],"classical":[12,46,110,155,174,194,245],"that":[14,228,288],"their":[15],"security":[16],"and":[17,65,111,169,195,220,226,246,296,299],"ability":[18],"to":[19,55,87,143,204,234,270,324],"detect":[20],"the":[21,29,35,56,106,132,136,165,190,265,268,286,322],"presence":[22],"of":[23,31,67,73,92,105,123,149,183,192,206,217,267,273,307,315],"eavesdropping":[24],"are":[25,140,230,249,327],"provable":[26],"based":[27],"on":[28],"principles":[30],"quantum":[32,38,57,68,71,83,90,112,115,129,151,160,196,207,224,247,274,282,290,316],"mechanics.":[33],"On":[34],"other":[36],"hand,":[37],"protocol":[39,47],"designers":[40,48],"may":[41],"commit":[42],"more":[43],"faults":[44],"than":[45],"since":[49],"human":[50],"intuition":[51],"is":[52,86,117,157,198,330],"poorly":[53],"adapted":[54],"world.":[58],"To":[59,284],"offer":[60],"formal":[61],"techniques":[62,298],"for":[63,128,200,223,258,301,312],"modeling":[64],"verification":[66,205],"protocols,":[69,162],"several":[70],"extensions":[72],"process":[74,84,97,201,236,291],"algebra":[75,85,202,237],"proposed.":[78],"An":[79],"important":[80],"issue":[81],"in":[82,99,131,135,189,279],"discover":[88],"generalization":[91],"bisimulation":[93,124,184,219,222],"preserved":[94,145,185],"by":[95,146,186],"various":[96,235],"constructs,":[98],"particular,":[100,262],"parallel":[101,147,187,240],"composition,":[102],"where":[103,153,173],"one":[104],"major":[107],"differences":[108],"between":[109],"systems,":[113],"namely":[114],"entanglement,":[116],"present.":[118,250],"Quite":[119],"few":[121],"versions":[122],"defined":[127],"processes":[130,152,317],"literature,":[133],"but":[134],"best":[137],"case":[138],"they":[139,229,326],"only":[141],"proved":[142],"be":[144,177],"composition":[148,188,241],"purely":[150],"no":[154],"communication":[156,175,197,248],"involved.":[158],"Many":[159],"however,":[163],"employ":[164],"LOCC":[166],"(Local":[167],"Operations":[168],"Classical":[170],"Communication)":[171],"scheme,":[172],"must":[176],"explicitly":[178],"specified.":[179],"So,":[180],"notion":[182],"circumstance":[191],"both":[193,244],"crucial":[199],"approach":[203],"protocols.":[209,283],"In":[210,261],"this":[211],"article":[212],"we":[213,263],"introduce":[214],"novel":[215],"notions":[216],"strong":[218,308],"weak":[221],"processes,":[225,275],"prove":[227],"congruent":[231],"respect":[233],"combinators":[238],"including":[239],"even":[242],"when":[243],"We":[251],"also":[252,331],"establish":[253],"some":[254],"basic":[255],"algebraic":[256],"laws":[257],"these":[259],"bisimulations.":[260],"show":[264],"uniqueness":[266],"solutions":[269],"recursive":[271],"equations":[272],"which":[276,310,325],"proves":[277],"useful":[278],"verifying":[280],"complex":[281],"capture":[285],"idea":[287],"approximately":[292],"implements":[293],"its":[294],"specification,":[295],"provide":[297],"tools":[300],"approximate":[302],"reasoning,":[303],"quantified":[305],"version":[306],"bisimulation,":[309],"defines":[311],"each":[313],"pair":[314],"bisimulation-based":[319],"distance":[320],"characterizing":[321],"extent":[323],"strongly":[328],"bisimilar,":[329],"introduced.":[332]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":9},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}