A categorical semantics of quantum protocols

S. Abramsky B. Coecke 2004 A categorical semantics of quantum protocols Proc. IEEE Symp. Logic In Comp. Sci. 415–425 10.1109/LICS.2004.1319636 Andrew Adamatzky 2007 Physarum machines: encapsulating reaction-diffusion to compute spanning tree Naturwissenschaften 94 12 975–980 10.1007/s00114-007-0276-5 Martyn Amos 2005 Theoretical and Experimental DNA Computation Springer 978-3-642-08504-8 Janet Anders Dan Browne 2009 Computational power of correlations Phys. Rev. Lett. 102 050502 10.1103/PhysRevLett.102.050502 Janet Anders Daniel K. L. Oi Elham Kashefi Dan E. Browne Erika Andersson 2010 Ancilla-driven universal quantum computation Phys. Rev. A 82 2 020301 10.1103/PhysRevA.82.020301 Richard Banach Czeslaw Jeske Simon Fraser Richard Cross Michael Poppleton Susan Stepney Steven King 2004 Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position WSCS, IEEE ICECCS'04 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.9231 Richard Banach Czeslaw Jeske Mike Poppleton Susan Stepney 2007 Retrenching the Purse Fundamenta Informaticae 77 29–69 http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8631 Richard Banach Mike Poppleton 1998 Retrenchment: an engineering variation on refinement 2nd Intl. B Conference LNCS 1393 Springer 129–147 10.1007/BFb0053358 Richard Banach Mike Poppleton Czeslaw Jeske Susan Stepney 2007 Engineering and theoretical underpinnings of retrenchment Sci. Comp. Prog. 67 2-3 301–329 10.1016/j.scico.2007.04.002 M. Bechmann A. Sebald S. Stepney 2011 Boolean logic-gate design principles in unconventional computers: an NMR case study International J. Unconventional Computing In press Matthias Bechmann Angelika Sebald Susan Stepney 2010 From binary to continuous gates – and back again ICES 2010 LNCS 6274 Springer 335–347 10.1007/978-3-642-15323-5_29 Ed Blakey 2010 Unconventional complexity measures for unconventional computers Natural Computing 10.1007/s11047-010-9226-9 K. L. Brown C. Horsman V. M. Kendon W. J. Munro 2011 Layer by layer generation of cluster states http://arxiv.org/abs/1111.1774v1 Katherine L. Brown Suvabrata De Viv Kendon William J. Munro 2011 Ancilla-based quantum simulation New J. Phys. 13 095007 10.1088/1367-2630/13/9/095007 John A. Clark Susan Stepney Howard Chivers 2005 Breaking the Model: finalisation and a taxonomy of security attacks ENTCS 137 2 225–242 10.1016/j.entcs.2005.04.033 D. Cooper S. Stepney J. Woodcock 2002 Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement Technical Report YCS-2002-347 Department of Computer Science, University of York http://www.cs.york.ac.uk/ftpdir/reports/2002/YCS/347/YCS-2002-347.pdf David G. Cory 2000 NMR Based Quantum Information Processing: Achievements and Prospects Fortschritte der Physik 48 9–11 875–907 10.1002/1521-3978(200009)48:9/11 E. d'Hondt P. Panangaden 2006 Quantum weakest preconditions Math. Struct. Comp. Sci. 16 3 429–451 10.1017/S0960129506005251 David P. DiVincenzo 2000 The Physical Implementation of Quantum Computation Fortschritte der Physik 48 9–11 771–783 10.1002/1521-3978(200009)48:9/11 ArXiv:quant-ph/0002077v3 Peter Hines 1999 The categorical theory of self-similarity Theory and Applications of Categories 6 33–46 http://emis.math.ca/journals/TAC/volumes/6/n3/n3.pdf Peter Hines 2003 A categorical framework for finite state machines Mathematical Structures in Computer Science 13 451–480 10.1017/S0960129503003931 Clare Horsman Katherine L. Brown William J. Munro Vivien M. Kendon 2011 Reduce, reuse, recycle for robust cluster-state generation Phys. Rev. A 83 4 042327 10.1103/PhysRevA.83.042327 Jonathan A. Jones 2011 Quantum computing with NMR Progress in Nuclear Magnetic Resonance Spectroscopy 59 91–120 10.1016/j.pnmrs.2010.11.001 Richard Jozsa 2005 An introduction to measurement based quantum computation http://arxiv.org/abs/quant-ph/0508124 V. Kendon A. Sebald S. Stepney Matthias Bechmann Peter Hines Robert C. Wagner 2011 Heterotic computing Unconventional Computation, LNCS 6714 Springer 113–124 10.1007/978-3-642-21341-0_16 L. Kuhnert K. Agladze V. Krinsky 1989 Image processing using light-sensitive chemical waves Nature 337 244–247 10.1038/337244a0 J. Lambek P. J. Scott 1988 An introduction to higher-order categorical logic Cambridge Studies in Advanced Mathematics 7 Cambridge University Press 9780521356534 Seth Lloyd Samuel L Braunstein 1999 Quantum computation over continuous variables Phys. Rev. Lett. 82 1784 10.1103/PhysRevLett.82.1784 Saunders Mac Lane 1971 Categories for the working mathematician Graduate Texts in Mathematics, 1st Ed. Springer Verlag 0387900357 G. J. Milburn S. Schneider D. F. V. James 2000 Ion Trap Quantum Computing with Warm Ions Fortschr. Phys. 48 801–810 10.1002/1521-3978(200009)48:9/11<801::AID-PROP801>3.0.CO;2-1 Jonathan W. Mills 2008 The nature of the Extended Analog Computer Physica D: Nonlinear Phenomena 237 9 1235–1256 10.1016/j.physd.2008.03.041 Ikuko N. Motoike Andrew Adamatzky 2005 Three-valued logic gates in reaction-diffusion excitable media Chaos, Solitons & Fractals 24 1 107–114 10.1016/S0960-0779(04)00461-8 Robert Raussendorf Hans J Briegel 2001 A One-Way Quantum Computer Phys. Rev. Lett. 86 5188–5191 10.1103/PhysRevLett.86.5188 M. Roselló-Merino M. Bechmann A. Sebald S. Stepney 2010 Classical computing in nuclear magnetic resonance. International J. Unconventional Computing 6 3–4 163–195 http://www-users.cs.york.ac.uk/susan/bib/ss/nonstd/ijnmc09.pdf D. Silva Graça 2004 Some Recent Developments on Shannon's GPAC Math. Log. Quart. 50 4–5 473–485 10.1002/malq.200310113 T. P. Spiller W. J. Munro S. D. Barrett P. Kok 2005 An introduction to quantum information processing: applications and realisations Comptemporary Physics 46 407 10.1080/00107510500293261 T. P. Spiller Kae Nemoto Samuel L. Braunstein W. J. Munro P. van Loock G. J. Milburn 2006 Quantum Computation by Communication New J. Phys. 8 30 10.1088/1367-2630/8/2/030 Susan Stepney 2008 The Neglected Pillar of Material Computation Physica D: Nonlinear Phenomena 237 9 1157–1164 10.1016/j.physd.2008.01.028 Ágota Tóth Kenneth Showalter 1995 Logic gates in excitable media J. Chem. Phys 103 2058–2066 10.1063/1.469732 Rodney S. Tucker 2010 The role of optics in computing Nature Photonics 4 405 10.1038/nphoton.2010.162 Peter Wegner 1997 Why interaction is more powerful than algorithms CACM 40 80–91 10.1145/253769.253801 Damien Woods Thomas J. Naughton 2008 Parallel and Sequential Optical Computing Optical SuperComputing LNCS 5172 Springer 70–86 10.1007/978-3-540-85673-3_6