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