{"id":"https://openalex.org/W4414978316","doi":"https://doi.org/10.1145/3763135","title":"A Language for Quantifying Quantum Network Behavior","display_name":"A Language for Quantifying Quantum Network Behavior","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414978316","doi":"https://doi.org/10.1145/3763135"},"language":"en","primary_location":{"id":"doi:10.1145/3763135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763135","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763135","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://dl.acm.org/doi/pdf/10.1145/3763135","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079888083","display_name":"Anita Buckley","orcid":"https://orcid.org/0000-0002-4493-2999"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Anita Buckley","raw_affiliation_strings":["USI Lugano, Lugano, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-4493-2999","affiliations":[{"raw_affiliation_string":"USI Lugano, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033247681","display_name":"Pavel Chuprikov","orcid":"https://orcid.org/0000-0002-6673-1143"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pavel Chuprikov","raw_affiliation_strings":["Institut Polytechnique de Paris, Palaiseau, France","T\u00e9l\u00e9com Paris, Palaiseau, France"],"raw_orcid":"https://orcid.org/0000-0002-6673-1143","affiliations":[{"raw_affiliation_string":"Institut Polytechnique de Paris, Palaiseau, France","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"T\u00e9l\u00e9com Paris, Palaiseau, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060648961","display_name":"Rodrigo Otoni","orcid":"https://orcid.org/0000-0003-1097-2367"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Rodrigo Otoni","raw_affiliation_strings":["USI Lugano, Lugano, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-1097-2367","affiliations":[{"raw_affiliation_string":"USI Lugano, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017570270","display_name":"Robert Soul\u00e9","orcid":"https://orcid.org/0000-0002-2825-6660"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Soul\u00e9","raw_affiliation_strings":["Yale University, New Haven, USA"],"raw_orcid":"https://orcid.org/0000-0002-2825-6660","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032684269","display_name":"Robert W. Rand","orcid":"https://orcid.org/0000-0001-6842-5505"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Rand","raw_affiliation_strings":["University of Chicago, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0001-6842-5505","affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024420075","display_name":"Patrick Eugster","orcid":"https://orcid.org/0000-0003-3864-9078"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Patrick Eugster","raw_affiliation_strings":["USI Lugano, Lugano, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-3864-9078","affiliations":[{"raw_affiliation_string":"USI Lugano, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1026,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.84802166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"2367","last_page":"2395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9980000257492065,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9980000257492065,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9959999918937683,"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/quantum-network","display_name":"Quantum network","score":0.6110000014305115},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5526000261306763},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.544700026512146},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5357000231742859},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4821999967098236},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.39890000224113464},{"id":"https://openalex.org/keywords/quantum-information-science","display_name":"Quantum information science","score":0.3894999921321869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7502999901771545},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.6110000014305115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5619999766349792},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5526000261306763},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.544700026512146},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5357000231742859},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.39890000224113464},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.3894999921321869},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3714999854564667},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.359499990940094},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.30090001225471497},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.29280000925064087},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.28369998931884766},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2809000015258789},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.2671000063419342},{"id":"https://openalex.org/C91717678","wikidata":"https://www.wikidata.org/wiki/Q1135332","display_name":"Quantum teleportation","level":5,"score":0.2639999985694885},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.25679999589920044}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763135","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763135","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/3763135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763135","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763135","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":[{"id":"https://openalex.org/G2011461449","display_name":"Science et Technologie \u00e0 Polytechnique Paris","funder_award_id":"ANR-22-EXES-0013","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2250107831","display_name":null,"funder_award_id":"FA95502310361, FA95502310406","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6941729974","display_name":null,"funder_award_id":"23086","funder_id":"https://openalex.org/F4320321942","funder_display_name":"Hasler Stiftung"},{"id":"https://openalex.org/G7048034739","display_name":null,"funder_award_id":"23086, 2024-09-27-175","funder_id":"https://openalex.org/F4320321942","funder_display_name":"Hasler Stiftung"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321942","display_name":"Hasler Stiftung","ror":"https://ror.org/04m3t9183"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414978316.pdf","grobid_xml":"https://content.openalex.org/works/W4414978316.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1589239973","https://openalex.org/W1734364899","https://openalex.org/W1964907332","https://openalex.org/W1970904244","https://openalex.org/W1974928788","https://openalex.org/W2018583393","https://openalex.org/W2040960538","https://openalex.org/W2044357043","https://openalex.org/W2045271686","https://openalex.org/W2068475033","https://openalex.org/W2092105345","https://openalex.org/W2114258290","https://openalex.org/W2125415493","https://openalex.org/W2135830616","https://openalex.org/W2141670510","https://openalex.org/W2777474773","https://openalex.org/W2897264299","https://openalex.org/W2913152436","https://openalex.org/W2914526098","https://openalex.org/W2948602808","https://openalex.org/W2990961515","https://openalex.org/W3008629526","https://openalex.org/W3012052365","https://openalex.org/W3015125368","https://openalex.org/W3029111604","https://openalex.org/W3106378402","https://openalex.org/W3127491185","https://openalex.org/W3136504866","https://openalex.org/W3147032835","https://openalex.org/W3153423942","https://openalex.org/W3185121509","https://openalex.org/W3197516892","https://openalex.org/W3202827246","https://openalex.org/W4233126987","https://openalex.org/W4244035502","https://openalex.org/W4282837933","https://openalex.org/W4286432905","https://openalex.org/W4312236189","https://openalex.org/W4383899686","https://openalex.org/W4385462176","https://openalex.org/W4391547750","https://openalex.org/W4396918865","https://openalex.org/W4396919321","https://openalex.org/W4399910490","https://openalex.org/W4403917832","https://openalex.org/W4408357227","https://openalex.org/W7077479797"],"related_works":[],"abstract_inverted_index":{"Quantum":[0],"networks":[1],"have":[2],"capabilities":[3],"that":[4,171],"are":[5,44],"impossible":[6],"to":[7,36,48,65,154],"achieve":[8],"using":[9],"only":[10],"classical":[11],"information.":[12],"They":[13],"connect":[14],"quantum":[15,33,40,75,92,108,180],"capable":[16],"nodes,":[17],"with":[18,60,74,119,128],"their":[19,186],"fundamental":[20],"unit":[21],"of":[22,31,39,57,86,107,137,146],"communication":[23],"being":[24],"the":[25,37,67,135,166],"Bell":[26,42,112],"pair":[27,30,113],",":[28],"a":[29,55,152],"entangled":[32],"bits.":[34],"Due":[35],"nature":[38],"phenomena,":[41],"pairs":[43],"fragile":[45],"and":[46,63,83,105,124,127,183],"difficult":[47],"transmit":[49],"over":[50,80],"long":[51],"distances,":[52],"thus":[53],"requiring":[54],"network":[56,93,109,181],"repeaters":[58],"along":[59],"dedicated":[61],"hardware":[62],"software":[64],"ensure":[66],"desired":[68],"results.":[69],"The":[70],"intrinsic":[71],"challenges":[72],"associated":[73],"networks,":[76],"such":[77],"as":[78],"competition":[79],"shared":[81],"resources":[82],"high":[84],"probabilities":[85],"failure,":[87],"require":[88],"quantitative":[89,144,187],"reasoning":[90,184],"about":[91,185],"protocols.":[94],"This":[95],"paper":[96],"develops":[97],"PBKAT,":[98],"an":[99],"expressive":[100],"language":[101,116],"for":[102,111,121,143,176],"specification,":[103],"verification":[104],"optimization":[106],"protocols":[110,163,182],"distribution.":[114],"Our":[115,168],"is":[117,173],"equipped":[118],"primitives":[120],"expressing":[122,178],"probabilistic":[123],"possibilistic":[125],"behaviors,":[126],"semantics":[129],"modeling":[130],"protocol":[131,147],"executions.":[132],"We":[133,149],"establish":[134],"properties":[136],"PBKAT\u2019s":[138,156],"semantics,":[139],"which":[140,158],"we":[141,159],"use":[142],"analysis":[145],"behavior.":[148],"further":[150],"implement":[151],"tool":[153],"automate":[155],"usage,":[157],"evaluated":[160],"on":[161],"real-world":[162,179],"drawn":[164],"from":[165],"literature.":[167],"results":[169],"indicate":[170],"PBKAT":[172],"well":[174],"suited":[175],"both":[177],"properties.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}