@inproceedings{AC, title = "A categorical semantics of quantum protocols", author = "Samson Abramsky and Bob Coecke", year = "2004", booktitle = "Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science", note = "Extended version: arXiv:0808.1023", pages = "415-425", publisher = "IEEE Computer Science Press", }