@inproceedings{paper72, title = "A Categorical Semantics of Quantum Protocols", author = "S. Abramsky and B. Coecke", year = "2004", booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004", pages = "415-425", publisher = "{IEEE} Computer Society", }