{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T15:51:17Z","timestamp":1768924277177,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642141614","type":"print"},{"value":"9783642141621","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14162-1_24","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T05:26:21Z","timestamp":1278307581000},"page":"285-296","source":"Crossref","is-referenced-by-count":58,"title":["Rewriting Measurement-Based Quantum Computations with Generalised Flow"],"prefix":"10.1007","author":[{"given":"Ross","family":"Duncan","sequence":"first","affiliation":[]},{"given":"Simon","family":"Perdrix","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"5188","DOI":"10.1103\/PhysRevLett.86.5188","volume":"86","author":"R. Raussendorf","year":"2001","unstructured":"Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett.\u00a086, 5188\u20135191 (2001)","journal-title":"Phys. Rev. Lett."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Anne Broadbent, J.F., Kashefi, E.: Universal blind quantum computation. In: Proc. FoCS 2009 (2009)","DOI":"10.1109\/FOCS.2009.36"},{"key":"24_CR3","unstructured":"Browne, D.E., Kashefi, E., Perdrix, S.: Computational depth complexity of measurement-based quantum computation (2009) preprint: arXiv:0909.4673"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","volume-title":"Automata, Languages and Programming","author":"B. Coecke","year":"2008","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 298\u2013310. Springer, Heidelberg (2008)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Danos, V., Kashefi, E., Panangaden, P.: The measurement calculus. J. ACM\u00a054(2) (2007)","DOI":"10.1145\/1219092.1219096"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Danos, V., Kashefi, E.: Determinism in the one-way model. Phys. Rev. A\u00a074(052310) (2006)","DOI":"10.1103\/PhysRevA.74.052310"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Browne, D., Kashefi, E., Mhalla, M., Perdrix, S.: Generalized flow and determinism in measurement-based quantum computation. New J. Phys.\u00a09 (2007)","DOI":"10.1088\/1367-2630\/9\/8\/250"},{"key":"24_CR8","unstructured":"Duncan, R.: Verifying the measurement calculus by rewriting. In: DCM 2007 (2007) (Oral presentation)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Kashefi, E.: Lost in translation. In: Proc. DCM 2007 (2007)","DOI":"10.1126\/stke.4022007tw322"},{"key":"24_CR10","first-page":"415","volume-title":"Proc. LiCS 2004","author":"S. Abramsky","year":"2004","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proc. LiCS 2004, pp. 415\u2013425. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"24_CR11","volume-title":"The Mathematics of Quantum Computation and Technology","author":"B. Coecke","year":"2007","unstructured":"Coecke, B., Pavlovic, D.: Quantum measurements without sums. In: Chen, G., Kauffman, L.H., Lomonaco Jr., S.J. (eds.) The Mathematics of Quantum Computation and Technology. Taylor and Francis, Abington (2007)"},{"key":"24_CR12","unstructured":"Coecke, B., Paquette, E.O.: POVMs and Naimark\u2019s theorem without sums. In: Proceedings of QPL 2006 (2006)"},{"key":"24_CR13","unstructured":"Dixon, L., Duncan, R., Kissinger, A.: Quantomatic. Project home page, \n                    \n                      http:\/\/dream.inf.ed.ac.uk\/projects\/quantomatic\/"},{"key":"24_CR14","unstructured":"Duncan, R.: Types for Quantum Computing. PhD thesis, Oxford University (2006)"},{"issue":"1","key":"24_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s10472-009-9141-x","volume":"56","author":"L. Dixon","year":"2009","unstructured":"Dixon, L., Duncan, R.: Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intel.\u00a056(1), 23\u201342 (2009)","journal-title":"Ann. Math. Artif. Intel."},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-03073-4_18","volume-title":"CiE 2009","author":"R. Duncan","year":"2009","unstructured":"Duncan, R., Perdrix, S.: Graph states and the necessity of Euler decomposition. In: Ambos-Spies, K., L\u00f6we, B., Merkle, W. (eds.) CiE 2009. LNCS, vol.\u00a05635, pp. 167\u2013177. Springer, Heidelberg (2009)"},{"key":"24_CR17","unstructured":"Kissinger, A.: Graph rewrite systems for complementary classical structures in \n                    \n                      \n                    \n                    $\\dag$\n                  -symmetric monoidal categories. Master\u2019s thesis, Oxford University (2008)"},{"issue":"9","key":"24_CR18","first-page":"147","volume":"13","author":"S. Lack","year":"2004","unstructured":"Lack, S.: Composing PROPs. Theor. Appl. Categ.\u00a013(9), 147\u2013163 (2004)","journal-title":"Theor. Appl. Categ."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14162-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:37:20Z","timestamp":1558280240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14162-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141614","9783642141621"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14162-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}