{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:08:19Z","timestamp":1780726099030,"version":"3.54.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T00:00:00Z","timestamp":1383091200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s00236-013-0185-3","type":"journal-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T06:50:20Z","timestamp":1383029420000},"page":"1-24","source":"Crossref","is-referenced-by-count":18,"title":["Termination of nondeterministic quantum programs"],"prefix":"10.1007","volume":"51","author":[{"given":"Yangjia","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nengkun","family":"Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,10,30]]},"reference":[{"key":"185_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: High-level methods for quantum computation and information. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 410\u2013414 (2004)","DOI":"10.1109\/LICS.2004.1319635"},{"key":"185_CR2","doi-asserted-by":"crossref","unstructured":"Aharonov, D., Ambainis, A., Kempe, J., Vazirani, U.V.: Quantum walks on graphs. In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing (STOC), pp. 50\u201359 (2001)","DOI":"10.1145\/380752.380758"},{"key":"185_CR3","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 249\u2013258 (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"185_CR4","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16, 491\u2013525 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"185_CR5","first-page":"181","volume":"D25","author":"S Betteli","year":"2003","unstructured":"Betteli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. Eur. Phys. J. D25, 181\u2013200 (2003)","journal-title":"Eur. Phys. J."},{"key":"185_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1142\/S0219749904000067","volume":"2","author":"O Brunet","year":"2004","unstructured":"Brunet, O., Jorrand, P.: Dynamic quantum logic for quantum programs. Int. J. Quantum Inf. 2, 45\u201354 (2004)","journal-title":"Int. J. Quantum Inf."},{"key":"185_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2006.04.003","volume":"158","author":"R Chadha","year":"2006","unstructured":"Chadha, R., Mateus, P., Sernadas, A.: Reasoning about imperative quantum programs. Electron. Notes Theor. Comput. Sci. 158, 19\u201339 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"185_CR8","doi-asserted-by":"crossref","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. Comput. Sci. 16, 429\u2013451 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"185_CR9","unstructured":"Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386, 151\u2013166 (2007)"},{"key":"185_CR10","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":"185_CR11","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"SJ Gay","year":"2006","unstructured":"Gay, S.J.: Quantum programming languages: survey and bibliography. Math. Struct. Comput. Sci. 16, 581\u2013600 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"185_CR12","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 145\u2013157 (2005)","DOI":"10.1145\/1040305.1040318"},{"key":"185_CR13","doi-asserted-by":"crossref","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 Trans. Program. Lang. Syst. 5, 356\u2013380 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"185_CR14","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":"185_CR15","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1098\/rspa.2000.0714","volume":"457","author":"G Mitchison","year":"2001","unstructured":"Mitchison, G., Josza, R.: Counterfactual computation. Proc. R. Soc. Lond. A 457, 1175\u20131193 (2001)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"185_CR16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.entcs.2006.12.014","volume":"170","author":"R Nagarajan","year":"2007","unstructured":"Nagarajan, R., Papanikolaou, N., Williams, D.: Simulating and compiling code for the sequential quantum random access machine. Electron. Notes Theor. Comput. Sci. 170, 101\u2013124 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"185_CR17","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"185_CR18","unstructured":"\u00d6mer, B.: Structured Quantum Programming, Ph.D thesis, Technical University of Vienna (2003)"},{"key":"185_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-72831-5","volume-title":"Advanced Linear Algebra","author":"S Roman","year":"2008","unstructured":"Roman, S.: Advanced Linear Algebra. Springer, Berlin (2008)"},{"key":"185_CR20","doi-asserted-by":"crossref","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Proceedings, Mathematics of Program Construction, LNCS, pp. 80\u201399 (2000)","DOI":"10.1007\/10722010_6"},{"key":"185_CR21","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Math. Struct. Comput. Sci. 14, 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"185_CR22","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Proceedings of the 7th International Symposium Functional and Logic Programming (FLOPS), pp. 1\u20136 (2004)","DOI":"10.1007\/978-3-540-24754-8_1"},{"key":"185_CR23","doi-asserted-by":"crossref","unstructured":"Svore, K.M., Aho, A.V., Cross, A.W., Chuang, I., Markov, I.L.: A layered software architecture for quantum computing design tools. IEEE Comput. 39, 74\u201383 (2006)","DOI":"10.1109\/MC.2006.4"},{"key":"185_CR24","first-page":"19","volume":"33","author":"MS Ying","year":"2011","unstructured":"Ying, M.S.: Floyd-Hoare logic for quantum programs. ACM Trans. Program. Langu. Syst. 33, 19 (2011)","journal-title":"ACM Trans. Program. Langu. Syst."},{"key":"185_CR25","volume-title":"Predicate Transformer Semantics of Quantum Programs, Semantic Techniques in Quantum Computation","author":"MS Ying","year":"2010","unstructured":"Ying, M.S., Duan, R.Y., Feng, Y., Ji, Z.F.: Predicate Transformer Semantics of Quantum Programs, Semantic Techniques in Quantum Computation. Cambridge University Press, Cambridge (2010)"},{"key":"185_CR26","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s00236-010-0117-4","volume":"47","author":"MS Ying","year":"2010","unstructured":"Ying, M.S., Feng, Y.: Quantum loop programs. Acta Informatica 47, 221\u2013250 (2010)","journal-title":"Acta Informatica"},{"key":"185_CR27","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1109\/TSE.2010.94","volume":"37","author":"MS Ying","year":"2011","unstructured":"Ying, M.S., Feng, Y.: A flowchart language for quantum programming. IEEE Trans. Softw. Eng. 37, 466\u2013485 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"185_CR28","unstructured":"Zuliani, P.: Nondeterminstic quantum programming. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, pp. 179\u2013195 (2004)"},{"key":"185_CR29","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s00236-005-0165-3","volume":"41","author":"P Zuliani","year":"2005","unstructured":"Zuliani, P.: Compiling quantum programs. Acta Informatica 41, 435\u2013473 (2005)","journal-title":"Acta Informatica"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-013-0185-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-013-0185-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-013-0185-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T12:08:57Z","timestamp":1564574937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-013-0185-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,30]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s00236-013-0185-3","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,30]]}}}