@inproceedings{qunet,
author = {Buckley, Anita and Chuprikov, Pavel and Otoni, Rodrigo and Rand, Robert and Soul\'{e}, Robert and Eugster, Patrick},
title = {Towards an Algebraic Specification of Quantum Networks},
year = {2023},
isbn = {9798400703065},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3610251.3610557},
doi = {10.1145/3610251.3610557},
booktitle = {Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing},
pages = {7–12},
numpages = {6},
keywords = {entanglement, quantum networks, kleene algebra},
location = {New York, NY, USA},
series = {QuNet '23}
}