{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:41:12Z","timestamp":1743082872313,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_10","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"155-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Equational Reasoning About Quantum Protocols"],"prefix":"10.1007","author":[{"given":"Simon J.","family":"Gay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ittoop V.","family":"Puthoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-642-54862-8_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Ardeshir-Larijani","year":"2014","unstructured":"Ardeshir-Larijani, E., Gay, S.J., Nagarajan, R.: Verification of concurrent quantum protocols by equivalence checking. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 500\u2013514. Springer, Heidelberg (2014)"},{"key":"10_CR2","unstructured":"Davidson, T.A.S.: Formal Verification Techniques using Quantum Process Calculus. Ph.D thesis, University of Warwick (2011)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Davidson, T.A.S., Gay, S.J., Nagarajan, R., Puthoor, I.V.: Analysis of a quantum error correcting code using quantum process calculus. In: Proceedings of the International Workshop on QPL, vol. 95, pp. 67\u201380. EPTCS (2011)","DOI":"10.4204\/EPTCS.95.7"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Feng, Y., Duan, R., Ji, Z., Ying, M.: Probabilistic bisimilarities between quantum processes (2006). arXiv:cs.LO\/0601014","DOI":"10.1016\/j.ic.2007.08.002"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Feng, Y., Duan, R., Ying, M.: Bisimulation for quantum processes. In: ACM Symposium on Principles of Programming Languages, pp. 523\u2013534. ACM (2011)","DOI":"10.1145\/1925844.1926446"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-38986-3_19","volume-title":"Reversible Computation","author":"S Franke-Arnold","year":"2013","unstructured":"Franke-Arnold, S., Gay, S.J., Puthoor, I.V.: Quantum process calculus for linear optical quantum computing. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 234\u2013246. Springer, Heidelberg (2013)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Franke-Arnold, S., Gay, S.J., Puthoor, I.V.: Verification of linear optical quantum computing using quantum process calculus. In: Proceedings of the Combined International Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS\/SOS), vol. 160, pp. 111\u2013129. EPTCS (2014)","DOI":"10.4204\/EPTCS.160.10"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gay, S., Nagarajan, R.: Communicating Quantum Processes. In: ACM Symposium on Principles of Programming Languages, pp. 145\u2013157. ACM (2005)","DOI":"10.1145\/1047659.1040318"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0960129506005263","volume":"16","author":"SJ Gay","year":"2006","unstructured":"Gay, S.J., Nagarajan, R.: Types and Typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3), 375\u2013406 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-70545-1_51","volume-title":"Computer Aided Verification","author":"SJ Gay","year":"2008","unstructured":"Gay, S.J., Nagarajan, R., Papanikolaou, N.: QMC: a model checker for quantum systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 543\u2013547. Springer, Heidelberg (2008)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"1829","DOI":"10.1103\/PhysRevA.59.1829","volume":"59","author":"M Hillery","year":"1999","unstructured":"Hillery, M., Buzek, V., Berthiaume, A.: Quantum secret sharing. Phys. Rev. A 59, 1829\u20131834 (1999)","journal-title":"Phys. Rev. A"},{"key":"10_CR12","unstructured":"IDQ. http:\/\/www.idquantique.com\/company\/presentation.html"},{"key":"10_CR13","unstructured":"MagiQ. http:\/\/www.magiqtech.com\/magiq\/home.html"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/382780.382781","volume":"48","author":"D Mayers","year":"2001","unstructured":"Mayers, D.: Unconditional security in quantum cryptography. Journal of the ACM 48(3), 351\u2013406 (2001)","journal-title":"Journal of the ACM"},{"key":"10_CR15","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press (1999)"},{"key":"10_CR16","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"key":"10_CR17","unstructured":"Puthoor, I.V.: Theory and applications of quantum process calculus. Ph.D thesis, University of Glasgow (2015)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2008.11.023","volume":"220","author":"N Tr\u010dka","year":"2008","unstructured":"Tr\u010dka, N., Georgievska, S.: Branching bisimulation congruence for probabilistic systems. Electronic Notes in Theoretical Computer Science 220(3), 129\u2013143 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"AK Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115(1), 38\u201394 (1994)","journal-title":"Information and Computation"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Zhou, X., Leung, D.W., Chuang, I.L.: Methodology for quantum logic gate construction. Phys. Rev. A 62 (2000)","DOI":"10.1103\/PhysRevA.62.052316"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T13:28:53Z","timestamp":1674566933000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}