@article{qunet, author = {Buckley, Anita and Chuprikov, Pavel and Otoni, Rodrigo and Soul\'{e}, Robert and Rand, Robert and Eugster, Patrick}, title = {An Algebraic Language for Specifying Quantum Networks}, year = {2024}, issue_date = {June 2024}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {8}, number = {PLDI}, url = {https://doi.org/10.1145/3656430}, doi = {10.1145/3656430}, journal = {Proc. ACM Program. Lang.}, month = {jun}, articleno = {200}, numpages = {23}, keywords = {Kleene algebra, entanglement, quantum networks} }