S. Abramsky
B. Coecke
2004
A categorical semantics of quantum protocols
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
415–425
10.1109/LICS.2004.1319636
Miriam Backens
2012
The ZX-calculus is complete for stabilizer quantum mechanics
Proceedings 9th International Workshop on Quantum Physics and Logic, Brussels, Belguim October 10-12, 2012
http://arxiv.org/abs/1307.7025
Bob Coecke
Ross Duncan
2008
Interacting Quantum Observables
Luca Aceto
Ivan Damgård
LeslieAnn Goldberg
MagnúsM. Halldórsson
Anna Ingólfsdóttir
Igor Walukiewicz
Automata, Languages and Programming
Lecture Notes in Computer Science
5126
Springer Berlin Heidelberg
298–310
10.1007/978-3-540-70583-3_25
Bob Coecke
Ross Duncan
2011
Interacting quantum observables: categorical algebra and diagrammatics
New Journal of Physics
13
4
043016
10.1088/1367-2630/13/4/043016
Bob Coecke
Ross Duncan
Aleks Kissinger
Quanlong Wang
2012
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
LICS '12
IEEE Computer Society
Washington, DC, USA
245–254
10.1109/LICS.2012.35
Ross Duncan
Maxime Lucas
2013
Verifying the Steane code with Quantomatic
Proceedings 10th International Workshop on Quantum Physics and Logic, Barcelona, Spain, July 17-19, 2013
http://arxiv.org/abs/1306.4532
Ross Duncan
Simon Perdrix
2009
Graph States and the Necessity of Euler Decomposition
Klaus Ambos-Spies
Benedikt Löwe
Wolfgang Merkle
Mathematical Theory and Computational Practice
Lecture Notes in Computer Science
5635
Springer Berlin Heidelberg
167–177
10.1007/978-3-642-03073-4_18
Ross Duncan
Simon Perdrix
2010
Rewriting Measurement-Based Quantum Computations with Generalised Flow
Samson Abramsky
Cyril Gavoille
Claude Kirchner
Friedhelm Meyer auf der Heide
PaulG. Spirakis
Automata, Languages and Programming
Lecture Notes in Computer Science
6199
Springer Berlin Heidelberg
285–296
10.1007/978-3-642-14162-1_24
D. Gottesman
1999
The Heisenberg Representation of Quantum Computers
Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics
eds. S. P. Corney, R. Delbourgo, and P. D. Jarvis
32–43
M. Hein
J. Eisert
H. J. Briegel
2004
Multiparty entanglement in graph states
Physical Review A
69
6
062311
10.1103/PhysRevA.69.062311
http://link.aps.org/doi/10.1103/PhysRevA.69.062311
Anne Hillebrand
2011
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus
Bart Jacobs
Peter Selinger
Bas Spitters
Proceedings 8th International Workshop on Quantum Physics and Logic, Nijmegen, Netherlands, October 27-29, 2011
Electronic Proceedings in Theoretical Computer Science
95
Open Publishing Association
103–121
10.4204/EPTCS.95.10
Michael A Nielsen
Isaac L Chuang
2010
Quantum computation and quantum information
Cambridge university press
10.1017/CBO9780511976667