{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T17:05:59Z","timestamp":1751648759948,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,10]],"date-time":"2023-09-10T00:00:00Z","timestamp":1694304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA95502110051"],"award-info":[{"award-number":["FA95502110051"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-1730449"],"award-info":[{"award-number":["CCF-1730449"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200021_192121","200021_197353"],"award-info":[{"award-number":["200021_192121","200021_197353"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,10]]},"DOI":"10.1145\/3610251.3610557","type":"proceedings-article","created":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T19:36:49Z","timestamp":1692214609000},"page":"7-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards an Algebraic Specification of Quantum Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4493-2999","authenticated-orcid":false,"given":"Anita","family":"Buckley","sequence":"first","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6673-1143","authenticated-orcid":false,"given":"Pavel","family":"Chuprikov","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1097-2367","authenticated-orcid":false,"given":"Rodrigo","family":"Otoni","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6842-5505","authenticated-orcid":false,"given":"Robert","family":"Rand","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2825-6660","authenticated-orcid":false,"given":"Robert","family":"Soul\u00e9","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3864-9078","authenticated-orcid":false,"given":"Patrick","family":"Eugster","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2023,9,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/2578855.2535862","article-title":"NetKAT: Semantic Foundations for Networks","volume":"49","author":"Anderson Carolyn Jane","year":"2014","unstructured":"Carolyn Jane Anderson , Nate Foster , Arjun Guha , Jean-Baptiste Jeannin , Dexter Kozen , Cole Schlesinger , and David Walker . 2014 . NetKAT: Semantic Foundations for Networks . SIGPLAN Notices 49 , 1 (2014), 113 -- 126 . Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. 2014. NetKAT: Semantic Foundations for Networks. SIGPLAN Notices 49, 1 (2014), 113--126.","journal-title":"SIGPLAN Notices"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/2656877.2656890"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1103\/PhysRevLett.81.5932"},{"key":"e_1_3_2_1_5_1","volume-title":"5th International Conference on Formal Structures for Computation and Deduction. 1--16","author":"Brunet Paul","year":"2020","unstructured":"Paul Brunet and David Pym . 2020 . Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra . In 5th International Conference on Formal Structures for Computation and Deduction. 1--16 . Paul Brunet and David Pym. 2020. Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. In 5th International Conference on Formal Structures for Computation and Deduction. 1--16."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TWC.2021.3122962"},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"NetSquid, a NETwork Simulator for QUantum Information using Discrete events","volume":"4","author":"Coopmans Tim","year":"2021","unstructured":"Tim Coopmans , Robert Knegjens , Axel Dahlberg , 2021 . NetSquid, a NETwork Simulator for QUantum Information using Discrete events . Communications Physics 4 , 164 (2021), 1 -- 15 . Tim Coopmans, Robert Knegjens, Axel Dahlberg, et al. 2021. NetSquid, a NETwork Simulator for QUantum Information using Discrete events. Communications Physics 4, 164 (2021), 1--15.","journal-title":"Communications Physics"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1103\/PhysRev.47.777"},{"key":"e_1_3_2_1_9_1","volume-title":"Probabilistic NetKAT. In 25th European Symposium on Programming Languages and Systems. 282--309","author":"Foster Nate","year":"2016","unstructured":"Nate Foster , Dexter Kozen , Konstantinos Mamouras , Mark Reitblatt , and Alexandra Silva . 2016 . Probabilistic NetKAT. In 25th European Symposium on Programming Languages and Systems. 282--309 . Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, and Alexandra Silva. 2016. Probabilistic NetKAT. In 25th European Symposium on Programming Languages and Systems. 282--309."},{"unstructured":"The P4 API Working Group. 2021. P4 Runtime Specification. https:\/\/p4.org\/p4-spec\/p4runtime\/main\/P4Runtime-Spec.html  The P4 API Working Group. 2021. P4 Runtime Specification. https:\/\/p4.org\/p4-spec\/p4runtime\/main\/P4Runtime-Spec.html","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/3524455"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/j.comnet.2022.109092"},{"key":"e_1_3_2_1_13_1","volume-title":"23rd International Conference on the Foundations of Software Science and Computation Structures. 381--400","author":"Kapp\u00e9 Tobias","year":"2020","unstructured":"Tobias Kapp\u00e9 , Paul Brunet , Alexandra Silva , Jana Wagemaker , and Fabio Zanasi . 2020 . Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness . In 23rd International Conference on the Foundations of Software Science and Computation Structures. 381--400 . Tobias Kapp\u00e9, Paul Brunet, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi. 2020. Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. In 23rd International Conference on the Foundations of Software Science and Computation Structures. 381--400."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1006\/inco.1994.1037"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/256167.256195"},{"key":"e_1_3_2_1_16_1","volume-title":"Kleene Algebra with Tests: Completeness and Decidability. In 10th International Workshop on Computer Science Logic. 244--259","author":"Kozen Dexter","year":"1997","unstructured":"Dexter Kozen and Frederick Smith . 1997 . Kleene Algebra with Tests: Completeness and Decidability. In 10th International Workshop on Computer Science Logic. 244--259 . Dexter Kozen and Frederick Smith. 1997. Kleene Algebra with Tests: Completeness and Decidability. In 10th International Workshop on Computer Science Logic. 244--259."},{"key":"e_1_3_2_1_17_1","volume-title":"Towards Large-Scale Quantum Networks. In 6th Annual ACM International Conference on Nanoscale Computing and Communication. 1--7.","author":"Kozlowski Wojciech","year":"2019","unstructured":"Wojciech Kozlowski and Stephanie Wehner . 2019 . Towards Large-Scale Quantum Networks. In 6th Annual ACM International Conference on Nanoscale Computing and Communication. 1--7. Wojciech Kozlowski and Stephanie Wehner. 2019. Towards Large-Scale Quantum Networks. In 6th Annual ACM International Conference on Nanoscale Computing and Communication. 1--7."},{"key":"e_1_3_2_1_18_1","volume-title":"Bruno Rijsman, Angela Sara Cacciapuoti, Marcello Caleffi, and Shota Nagayama.","author":"Kozlowski Wojciech","year":"2023","unstructured":"Wojciech Kozlowski , Stephanie Wehner , Rodney Van Meter , Bruno Rijsman, Angela Sara Cacciapuoti, Marcello Caleffi, and Shota Nagayama. 2023 . Architectural Principles for a Quantum Internet. RFC 9340. https:\/\/www.rfc-editor.org\/info\/rfc9340 Wojciech Kozlowski, Stephanie Wehner, Rodney Van Meter, Bruno Rijsman, Angela Sara Cacciapuoti, Marcello Caleffi, and Shota Nagayama. 2023. Architectural Principles for a Quantum Internet. RFC 9340. https:\/\/www.rfc-editor.org\/info\/rfc9340"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1355734.1355746"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/MCOM.2013.6576340"},{"key":"e_1_3_2_1_21_1","volume-title":"Routing Entanglement in the Quantum Internet. npj Quantum Information 5, 25","author":"Pant Mihir","year":"2019","unstructured":"Mihir Pant , Hari Krovi , Don Towsley , Leandros Tassiulas , Liang Jiang , Prithwish Basu , Dirk Englund , and Saikat Guha . 2019. Routing Entanglement in the Quantum Internet. npj Quantum Information 5, 25 ( 2019 ), 1--9. Mihir Pant, Hari Krovi, Don Towsley, Leandros Tassiulas, Liang Jiang, Prithwish Basu, Dirk Englund, and Saikat Guha. 2019. Routing Entanglement in the Quantum Internet. npj Quantum Information 5, 25 (2019), 1--9."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3519939.3523713"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1364\/AOP.361502"},{"doi-asserted-by":"crossref","unstructured":"Matteo Pompili Sophie L. N. Hermans Simon Baier etal 2021. Realization of a Multinode Quantum Network of Remote Solid-State Qubits. Science 372 6539 (2021) 259--264.  Matteo Pompili Sophie L. N. Hermans Simon Baier et al. 2021. Realization of a Multinode Quantum Network of Remote Solid-State Qubits. Science 372 6539 (2021) 259--264.","key":"e_1_3_2_1_24_1","DOI":"10.1126\/science.abg1919"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1016\/j.jlap.2010.07.009"},{"key":"e_1_3_2_1_26_1","volume-title":"Designing Quantum Networks Using Preexisting Infrastructure. npj Quantum Information 8, 5","author":"Rabbie Julian","year":"2022","unstructured":"Julian Rabbie , Kaushik Chakraborty , Guus Avis , and Stephanie Wehner . 2022. Designing Quantum Networks Using Preexisting Infrastructure. npj Quantum Information 8, 5 ( 2022 ), 1--12. Julian Rabbie, Kaushik Chakraborty, Guus Avis, and Stephanie Wehner. 2022. Designing Quantum Networks Using Preexisting Infrastructure. npj Quantum Information 8, 5 (2022), 1--12."},{"unstructured":"Shouqian Shi and Chen Qian. 2020. Concurrent Entanglement Routing for Quantum Networks: Model and Designs. In 2020 Annual ACM SIGCOMM Conference on on the Applications Technologies Architectures and Protocols for Computer Communication. 62--75.  Shouqian Shi and Chen Qian. 2020. Concurrent Entanglement Routing for Quantum Networks: Model and Designs. In 2020 Annual ACM SIGCOMM Conference on on the Applications Technologies Architectures and Protocols for Computer Communication. 62--75.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","volume-title":"Scalable Verification of Probabilistic Networks. In 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 190--203","author":"Smolka Steffen","year":"2019","unstructured":"Steffen Smolka , Praveen Kumar , David M. Kahn , Nate Foster , Justin Hsu , Dexter Kozen , and Alexandra Silva . 2019 . Scalable Verification of Probabilistic Networks. In 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 190--203 . Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva. 2019. Scalable Verification of Probabilistic Networks. In 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 190--203."},{"volume-title":"The Quantum Internet: Recent Advances and Challenges. Keynote at the 29th IEEE International Conference on Network Protocols. https:\/\/icnp21.cs.ucr.edu","author":"Towsley Don","unstructured":"Don Towsley . 2021. The Quantum Internet: Recent Advances and Challenges. Keynote at the 29th IEEE International Conference on Network Protocols. https:\/\/icnp21.cs.ucr.edu Don Towsley. 2021. The Quantum Internet: Recent Advances and Challenges. Keynote at the 29th IEEE International Conference on Network Protocols. https:\/\/icnp21.cs.ucr.edu","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2201\/NiiPi.2011.8.8","article-title":"Recursive Quantum Repeater Networks","volume":"8","author":"Meter Rodney Van","year":"2011","unstructured":"Rodney Van Meter , Joe Touch , and Clare Horsman . 2011 . Recursive Quantum Repeater Networks . Progress in Informatics 8 (2011), 65 -- 79 . Rodney Van Meter, Joe Touch, and Clare Horsman. 2011. Recursive Quantum Repeater Networks. Progress in Informatics 8 (2011), 65--79.","journal-title":"Progress in Informatics"},{"key":"e_1_3_2_1_31_1","volume-title":"Partially Observable Concurrent Kleene Algebra. In 31st International Conference on Concurrency Theory. 1--22","author":"Wagemaker Jana","year":"2020","unstructured":"Jana Wagemaker , Paul Brunet , Simon Docherty , Tobias Kapp\u00e9 , Jurriaan Rot , and Alexandra Silva . 2020 . Partially Observable Concurrent Kleene Algebra. In 31st International Conference on Concurrency Theory. 1--22 . Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp\u00e9, Jurriaan Rot, and Alexandra Silva. 2020. Partially Observable Concurrent Kleene Algebra. In 31st International Conference on Concurrency Theory. 1--22."},{"key":"e_1_3_2_1_32_1","volume-title":"Concurrent NetKAT. In 31st European Symposium on Programming. 575--602","author":"Wagemaker Jana","year":"2022","unstructured":"Jana Wagemaker , Nate Foster , Tobias Kapp\u00e9 , Dexter Kozen , Jurriaan Rot , and Alexandra Silva . 2022 . Concurrent NetKAT. In 31st European Symposium on Programming. 575--602 . Jana Wagemaker, Nate Foster, Tobias Kapp\u00e9, Dexter Kozen, Jurriaan Rot, and Alexandra Silva. 2022. Concurrent NetKAT. In 31st European Symposium on Programming. 575--602."},{"key":"e_1_3_2_1_34_1","volume-title":"Quantum Internet: A Vision for the Road Ahead. Science 362, 6412","author":"Wehner Stephanie","year":"2018","unstructured":"Stephanie Wehner , David Elkouss , and Ronald Hanson . 2018 . Quantum Internet: A Vision for the Road Ahead. Science 362, 6412 (2018), 1--9. Stephanie Wehner, David Elkouss, and Ronald Hanson. 2018. Quantum Internet: A Vision for the Road Ahead. Science 362, 6412 (2018), 1--9."},{"key":"e_1_3_2_1_35_1","first-page":"1","article-title":"Concurrent Multipath Quantum Entanglement Routing Based on Segment Routing in Quantum Hybrid Networks","volume":"22","author":"Zhang Ling","year":"2023","unstructured":"Ling Zhang and Qin Liu . 2023 . Concurrent Multipath Quantum Entanglement Routing Based on Segment Routing in Quantum Hybrid Networks . Quantum Information Processing 22 , 148 (2023), 1 -- 22 . Ling Zhang and Qin Liu. 2023. Concurrent Multipath Quantum Entanglement Routing Based on Segment Routing in Quantum Hybrid Networks. Quantum Information Processing 22, 148 (2023), 1--22.","journal-title":"Quantum Information Processing"},{"key":"e_1_3_2_1_36_1","volume-title":"Redundant Entanglement Provisioning and Selection for Throughput Maximization in Quantum Networks. In 40th IEEE Conference on Computer Communications. 1--10","author":"Zhao Yangming","year":"2021","unstructured":"Yangming Zhao and Chunming Qiao . 2021 . Redundant Entanglement Provisioning and Selection for Throughput Maximization in Quantum Networks. In 40th IEEE Conference on Computer Communications. 1--10 . Yangming Zhao and Chunming Qiao. 2021. Redundant Entanglement Provisioning and Selection for Throughput Maximization in Quantum Networks. In 40th IEEE Conference on Computer Communications. 1--10."},{"key":"e_1_3_2_1_37_1","volume-title":"41st IEEE Conference on Computer Communications. 480--489","author":"Zhao Yangming","year":"2022","unstructured":"Yangming Zhao , Gongming Zhao , and Chunming Qiao . 2022 . E2E Fidelity Aware Routing and Purification for Throughput Maximization in Quantum Networks . In 41st IEEE Conference on Computer Communications. 480--489 . Yangming Zhao, Gongming Zhao, and Chunming Qiao. 2022. E2E Fidelity Aware Routing and Purification for Throughput Maximization in Quantum Networks. In 41st IEEE Conference on Computer Communications. 480--489."}],"event":{"sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"acronym":"QuNet '23","name":"QuNet '23: 1st Workshop on Quantum Networks and Distributed Quantum Computing","location":"New York NY USA"},"container-title":["Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610251.3610557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:02Z","timestamp":1750182542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610251.3610557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,10]]},"references-count":36,"alternative-id":["10.1145\/3610251.3610557","10.1145\/3610251"],"URL":"https:\/\/doi.org\/10.1145\/3610251.3610557","relation":{},"subject":[],"published":{"date-parts":[[2023,9,10]]},"assertion":[{"value":"2023-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}