Towards an Algebraic Specification of Quantum Networks. - Anita Buckley; Pavel Chuprikov; Rodrigo Otoni; Robert Rand 001; Robert Soulé; Patrick Eugster (QuNet@SIGCOMM, 2023)

An Algebraic Language for Specifying Quantum Networks. - Anita Buckley; Pavel Chuprikov; Rodrigo Otoni; Robert Soulé; Robert Rand 001; Patrick Eugster (Proc. ACM Program. Lang., 2024)