{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:59Z","timestamp":1760202659630},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329395"},{"type":"electronic","value":"9783642329401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32940-1_7","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T20:47:02Z","timestamp":1346532422000},"page":"69-83","source":"Crossref","is-referenced-by-count":11,"title":["Reachability and Termination Analysis of Concurrent Quantum Programs"],"prefix":"10.1007","author":[{"given":"Nengkun","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"4249","DOI":"10.1103\/PhysRevA.59.4249","volume":"59","author":"J.I. Cirac","year":"1999","unstructured":"Cirac, J.I., Ekert, A.K., Huelga, S.F., Macchiavello, C.: Distributed quantum computation over noisy channels. Physical Review A\u00a059, 4249\u20134254 (1999)","journal-title":"Physical Review A"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0747-7171(08)80013-2","volume":"9","author":"C. Don","year":"1990","unstructured":"Don, C., Shmuel, W.: Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation\u00a09, 251\u2013280 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR3","unstructured":"Davidson, T.A.S.: Formal Verification Techniques using Quantum Process Calculus, Ph.D. thesis. University of Warwick (2011)"},{"key":"7_CR4","unstructured":"Davidson, T.A.S., Gay, S., Nagarajan, R., Puthoor, I.V.: Analysis of a quantum error correcting code using quantum process calculus. In: Proceedingds of QPL 2011, the 8th Workhop on Quantum Physics and Logic, pp. 107\u2013120 (2011)"},{"key":"7_CR5","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. Mathematical Structures in Computer Science\u00a016, 429\u2013451 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"1608","DOI":"10.1016\/j.ic.2007.08.001","volume":"205","author":"Y. Feng","year":"2007","unstructured":"Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Probabilistic bisimulations for quantum processes. Information and Computation\u00a0205, 1608\u20131639 (2007)","journal-title":"Information and Computation"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Feng, Y., Duan, R.Y., Ying, M.S.: Bisimulation for quantum processes. In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 523\u2013534 (2011)","DOI":"10.1145\/1926385.1926446"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Nagarajan, R.: Communicating Quantum Processes. In: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages (POPL), pp. 145\u2013157 (2005)","DOI":"10.1145\/1040305.1040318"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0960129506005263","volume":"16","author":"S.J. Gay","year":"2006","unstructured":"Gay, S.J., Nagarajan, R.: Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science\u00a016, 375\u2013406 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_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":"S.J. 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.\u00a05123, pp. 543\u2013547. Springer, Heidelberg (2008)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Papanikolaou, N., Nagarajan, R.: Specification and verification of quantum protocols. In: Gay, S.J., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 414\u2013472. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139193313.012"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/2166.357214","volume":"5","author":"S. Hart","year":"1983","unstructured":"Hart, S., Sharir, M., Pnueli, A.: Termination of probabilistic concurrent programs. ACM Transactions on Programming Languages and Systems\u00a05, 356\u2013380 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proceedings of the First ACM Conference on Computing Frontiers, pp. 111\u2013119 (2004)","DOI":"10.1145\/977091.977108"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S096012950600524X","volume":"16","author":"M. Lalire","year":"2006","unstructured":"Lalire, M.: Relations among quantum processes: bisimilarity and congruence. Mathematical Structures in Computer Science\u00a016, 407\u2013428 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR15","unstructured":"Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages (2004)"},{"key":"7_CR16","unstructured":"Li, Y.Y., Yu, N.K., Ying, M.S.: Termination of nondeterministic quantum programs. Short presentation of LICS (2012), (For full paper, see arXiv: 1201.0891)"},{"key":"7_CR17","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structure in Computer Science\u00a014, 527\u2013586 (2004)","journal-title":"Mathematical Structure in Computer Science"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1137\/0213021","volume":"13","author":"M. Sharir","year":"1984","unstructured":"Sharir, M., Pnueli, A., Hart, S.: Verification of probabilistic programs. SIAM Journal on Computing\u00a013, 292\u2013314 (1984)","journal-title":"SIAM Journal on Computing"},{"key":"7_CR20","first-page":"19","volume":"33","author":"M.S. Ying","year":"2011","unstructured":"Ying, M.S.: Floyd-Hoare logic for quantum programs. ACM Transactions on Programming Languages and Systems\u00a033, art. no: 19 (2011)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/TC.2009.13","volume":"58","author":"M.S. Ying","year":"2009","unstructured":"Ying, M.S., Feng, Y.: An algebraic language for distributed quantum computing. IEEE Transactions on Computers\u00a058, 728\u2013743 (2009)","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR22","first-page":"19","volume":"10","author":"M.S. Ying","year":"2009","unstructured":"Ying, M.S., Feng, Y., Duan, R.Y., Ji, Z.F.: An algebra of quantum processes. ACM Transactions on Computational Logic\u00a010, art. no. 19 (2009)","journal-title":"ACM Transactions on Computational Logic"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00236-010-0117-4","volume":"47","author":"M.S. Ying","year":"2010","unstructured":"Ying, M.S., Feng, Y.: Quantum loop programs. Acta Informatica\u00a047, 221\u2013250 (2010)","journal-title":"Acta Informatica"},{"key":"7_CR24","unstructured":"Ying, M.S., Yu, N.K., Feng, Y., Duan, R.Y.: Verification of Quantum Programs, arXiv:1106.4063"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2012 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32940-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:49:42Z","timestamp":1620128982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32940-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329395","9783642329401"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32940-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}