{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:13:11Z","timestamp":1725585191804},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213403"},{"type":"electronic","value":"9783642213410"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21341-0_16","type":"book-chapter","created":{"date-parts":[[2011,6,11]],"date-time":"2011-06-11T06:07:15Z","timestamp":1307772435000},"page":"113-124","source":"Crossref","is-referenced-by-count":9,"title":["Heterotic Computing"],"prefix":"10.1007","author":[{"given":"Viv","family":"Kendon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelika","family":"Sebald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Stepney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Bechmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Hines","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert C.","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proc. IEEE Symp. Logic in Comp. Sci., pp. 415\u2013425 (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"50502","DOI":"10.1103\/PhysRevLett.102.050502","volume":"102","author":"J. Anders","year":"2009","unstructured":"Anders, J., Browne, D.: Computational power of correlations. Phys.\u00a0Rev.\u00a0Lett.\u00a0102, 050502 (2009)","journal-title":"Phys.\u00a0Rev.\u00a0Lett."},{"key":"16_CR3","unstructured":"Banach, R., Jeske, C., Fraser, S., Cross, R., Poppleton, M., Stepney, S., King, S.: Approaching the formal design and development of complex systems: The retrenchment position. In: WSCS, IEEE ICECCS 2004 (2004)"},{"key":"16_CR4","first-page":"29","volume":"77","author":"R. Banach","year":"2007","unstructured":"Banach, R., Jeske, C., Poppleton, M., Stepney, S.: Retrenching the purse. Fundamenta Informaticae\u00a077, 29\u201369 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BFb0053358","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"R. Banach","year":"1998","unstructured":"Banach, R., Poppleton, M.: Retrenchment: an engineering variation on refinement. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 129\u2013147. Springer, Heidelberg (1998)"},{"issue":"2-3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.scico.2007.04.002","volume":"67","author":"R. Banach","year":"2007","unstructured":"Banach, R., Poppleton, M., Jeske, C., Stepney, S.: Engineering and theoretical underpinnings of retrenchment. Sci. Comp. Prog.\u00a067(2-3), 301\u2013329 (2007)","journal-title":"Sci. Comp. Prog."},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-15323-5_29","volume-title":"Evolvable Systems: From Biology to Hardware","author":"M. Bechmann","year":"2010","unstructured":"Bechmann, M., Sebald, A., Stepney, S.: From binary to continuous gates \u2013 and back again. In: Tempesti, G., Tyrrell, A.M., Miller, J.F. (eds.) ICES 2010. LNCS, vol.\u00a06274, pp. 335\u2013347. Springer, Heidelberg (2010)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Blakey, E.: Unconventional complexity measures for unconventional computers. Natural Computing (2010), doi:10.1007\/s11047-010-9226-9","DOI":"10.1007\/s11047-010-9226-9"},{"issue":"6681","key":"16_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1038\/30181","volume":"393","author":"I.L. Chuang","year":"1998","unstructured":"Chuang, I.L., Vandersypen, L.M.K., Zhou, X., Leung, D.W., Lloyd, S.: Experimental realization of a quantum algorithm. Nature\u00a0393(6681), 143\u2013146 (1998)","journal-title":"Nature"},{"issue":"2","key":"16_CR10","first-page":"225","volume":"137","author":"J.A. Clark","year":"2005","unstructured":"Clark, J.A., Stepney, S., Chivers, H.: Breaking the model: finalisation and a taxonomy of security attacks. ENTCS\u00a0137(2), 225\u2013242 (2005)","journal-title":"ENTCS"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"22304","DOI":"10.1103\/PhysRevA.62.022304","volume":"62","author":"D. Collins","year":"2000","unstructured":"Collins, D., et al.: NMR quantum computation with indirectly coupled gates. Phys. Rev. A\u00a062(2), 022304 (2000)","journal-title":"Phys. Rev. A"},{"key":"16_CR12","unstructured":"Cooper, D., Stepney, S., Woodcock, J.: Derivation of Z refinement proof rules: forwards and backwards rules incorporating input\/output refinement. Tech. Rep. YCS-2002-347, Department of Computer Science, University of York (December 2002)"},{"issue":"9\u201311","key":"16_CR13","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1002\/1521-3978(200009)48:9\/11<875::AID-PROP875>3.0.CO;2-V","volume":"48","author":"D.G. Cory","year":"2000","unstructured":"Cory, D.G., et al.: NMR based quantum information processing: Achievements and prospects. Fortschritte der Physik\u00a048(9\u201311), 875\u2013907 (2000)","journal-title":"Fortschritte der Physik"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1017\/S0960129506005251","volume":"16","author":"E. d\u2019Hondt","year":"2006","unstructured":"d\u2019Hondt, E., Panangaden, P.: Quantum weakest preconditions. Math. Struct. Comp. Sci.\u00a016(3), 429\u2013451 (2006)","journal-title":"Math. Struct. Comp. Sci."},{"issue":"9-11","key":"16_CR15","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1002\/1521-3978(200009)48:9\/11<771::AID-PROP771>3.0.CO;2-E","volume":"48","author":"D.P. DiVincenzo","year":"2000","unstructured":"DiVincenzo, D.P.: The physical implementation of quantum computation. Fortschritte der Physik\u00a048(9-11), 771\u2013783 (2000), arXiv:quant-ph\/0002077v3","journal-title":"Fortschritte der Physik"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0066-4103(00)41010-0","volume":"41","author":"S. Dusold","year":"2000","unstructured":"Dusold, S., Sebald, A.: Dipolar recoupling under magic-angle spinning conditions. Annual Reports on NMR Spectroscopy\u00a041, 185\u2013264 (2000)","journal-title":"Annual Reports on NMR Spectroscopy"},{"key":"16_CR17","first-page":"33","volume":"6","author":"P. Hines","year":"1999","unstructured":"Hines, P.: The categorical theory of self-similarity. Theory and Applications of Categories\u00a06, 33\u201346 (1999)","journal-title":"Theory and Applications of Categories"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S0960129503003931","volume":"13","author":"P. Hines","year":"2003","unstructured":"Hines, P.: A categorical framework for finite state machines. Mathematical Structures in Computer Science\u00a013, 451\u2013480 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0079-6565(00)00033-9","volume":"38","author":"J.A. Jones","year":"2001","unstructured":"Jones, J.A.: NMR quantum computation. Progress in Nuclear Magnetic Resonance Spectroscopy\u00a038(4), 325\u2013360 (2001)","journal-title":"Progress in Nuclear Magnetic Resonance Spectroscopy"},{"key":"16_CR20","volume-title":"An introduction to higher-order categorical logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.: An introduction to higher-order categorical logic. Cambridge University Press, Cambridge (1986)"},{"key":"16_CR21","first-page":"1396","volume-title":"Encyclopedia of Nuclear Magnetic Resonance","author":"M.H. Levitt","year":"1996","unstructured":"Levitt, M.H.: Composite pulses. In: Grant, D.M., Harris, R.K. (eds.) Encyclopedia of Nuclear Magnetic Resonance, vol.\u00a02, pp. 1396\u20131441. Wiley, Chichester (1996)"},{"issue":"1-2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0009-2614(98)01015-X","volume":"296","author":"N. Linden","year":"1998","unstructured":"Linden, N., Barjat, H., Freeman, R.: An implementation of the Deutsch-Jozsa algorithm on a three-qubit NMR quantum computer. Chemical Physics Letters\u00a0296(1-2), 61\u201367 (1998)","journal-title":"Chemical Physics Letters"},{"key":"16_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the working mathematician. Springer, Heidelberg (1971)"},{"issue":"3-4","key":"16_CR24","first-page":"163","volume":"6","author":"M. Rosell\u00f3-Merino","year":"2010","unstructured":"Rosell\u00f3-Merino, M., Bechmann, M., Sebald, A., Stepney, S.: Classical computing in nuclear magnetic resonance. IJUC\u00a06(3-4), 163\u2013195 (2010)","journal-title":"IJUC"},{"key":"16_CR25","unstructured":"Sebald, A., Bechmann, M., Calude, C.S., Abbott, A.A.: NMR-based classical implementation of the de-quantisation of Deutsch\u2019s problem (work in progress)"},{"issue":"2","key":"16_CR26","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1088\/1367-2630\/8\/2\/030","volume":"8","author":"T.P. Spiller","year":"2006","unstructured":"Spiller, T.P., Nemoto, K., Braunstein, S.L., Munro, W.J., van Loock, P., Milburn, G.J.: Quantum computation by communication. New J. Phys.\u00a08(2), 30 (2006)","journal-title":"New J. Phys."},{"issue":"9","key":"16_CR27","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1016\/j.physd.2008.01.028","volume":"237","author":"S. Stepney","year":"2008","unstructured":"Stepney, S.: The neglected pillar of material computation. Physica D: Nonlinear Phenomena\u00a0237(9), 1157\u20131164 (2008)","journal-title":"Physica D: Nonlinear Phenomena"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-13523-1_17","volume-title":"Unconventional Computation","author":"R.C. Wagner","year":"2010","unstructured":"Wagner, R.C., Everitt, M.S., Jones, M.L., Kendon, V.M.: Universal continuous variable quantum computation in the micromaser. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds.) Unconventional Computation. LNCS, vol.\u00a06079, pp. 152\u2013163. Springer, Heidelberg (2010)"},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. CACM\u00a040, 80\u201391 (1997)","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21341-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T16:23:09Z","timestamp":1553790189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21341-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213403","9783642213410"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21341-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}