{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T05:04:43Z","timestamp":1683090283334},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T00:00:00Z","timestamp":1256601600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s11128-009-0151-8","type":"journal-article","created":{"date-parts":[[2009,10,26]],"date-time":"2009-10-26T15:05:05Z","timestamp":1256569505000},"page":"441-449","source":"Crossref","is-referenced-by-count":2,"title":["Generalised quantum weakest preconditions"],"prefix":"10.1007","volume":"9","author":[{"given":"Roman","family":"Gielerak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sawerwain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,27]]},"reference":[{"key":"151_CR1","first-page":"181","volume":"25","author":"S. Betelli","year":"2003","unstructured":"Betelli S., Serafini L., Calarco T.: Toward an architecture for quantum programming. Eur. Phys. J. 25, 181\u2013200 (2003) arXiv:cs\/0103009","journal-title":"Eur. Phys. J."},{"key":"151_CR2","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G., von Neumann J.: The logic of quantum mechanics. Ann. Math. 37, 823\u2013843 (1936)","journal-title":"Ann. Math."},{"key":"151_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-1258-9","volume-title":"Quantum Information with Continuous Variables","author":"S.L. Braunstein","year":"2003","unstructured":"Braunstein S.L., Pati A.K.: Quantum Information with Continuous Variables. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"151_CR4","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1103\/RevModPhys.77.513","volume":"77","author":"S.L. Braunstein","year":"2005","unstructured":"Braunstein S.L., van Loock P.: Quantum information with continuous variables. Rev. Mod. Phys. 77, 513\u2013577 (2005)","journal-title":"Rev. Mod. Phys."},{"key":"151_CR5","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1038\/nature06120","volume":"450","author":"F. Brennecke","year":"2007","unstructured":"Brennecke F., Donner T., Ritter S., Bourdel T., K\u00f6ne M., Esslinger T.: Cavity QED wit a Bose-Einstein condensate. Nature 450, 268\u2013271 (2007)","journal-title":"Nature"},{"issue":"8","key":"151_CR6","doi-asserted-by":"crossref","first-page":"082109","DOI":"10.1063\/1.2008996","volume":"46","author":"F. Buscemi","year":"2005","unstructured":"Buscemi F., D\u2019Ariano G.M., Keyl M., Perinotti P., Werner R.F.: Clean positive operator valued measures. J. Math. Phys. 46(8), 082109 (2005) arXiv:quant-ph\/0505095v5","journal-title":"J. Math. Phys."},{"key":"151_CR7","doi-asserted-by":"crossref","first-page":"042113","DOI":"10.1103\/PhysRevA.77.042113","volume":"77","author":"H.A. Carteret","year":"2008","unstructured":"Carteret H.A., Terno D.R., \u017byczkowski K.: Dynamics beyond completely positive maps: some properties and applications. Phys. Rev. A 77, 042113 (2008) arXiv:quant-ph\/0512167v3","journal-title":"Phys. Rev. A"},{"key":"151_CR8","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0024-3795(75)90075-0","volume":"10","author":"M.D. Choi","year":"1975","unstructured":"Choi M.D.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10, 285\u2013290 (1975)","journal-title":"Linear Algebra Appl."},{"key":"151_CR9","unstructured":"Dalla Chiara, M.L.: Quantum logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 427\u2013469 (1986). Revised version in: Handbook of Philosophical Logic, vol. 6, 2nd edn., pp. 129\u2013228, Kluwer, Dordrecht (2001)"},{"key":"151_CR10","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00262076","volume":"6","author":"M.L. Dalla Chiara","year":"1977","unstructured":"Dalla Chiara M.L.: Quantum logic and physical modalities. J. Philos. Logic 6, 391\u2013404 (1977)","journal-title":"J. Philos. Logic"},{"key":"151_CR11","unstructured":"de Bakker, J.W., de Roever W.P.: A calculus for recursive programs schemes. In: Automata, Languages, and Programming, pp. 167\u2013196. Amsterdam, North-Holland (1972)"},{"issue":"3","key":"151_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0022-0000(75)80056-0","volume":"11","author":"J.W. Bakker de","year":"1975","unstructured":"de Bakker J.W., Meertens L.G.L.T.: On the completeness of the inductive assertion method. J. Comput. Syst. Sci 11(3), 323\u2013357 (1975)","journal-title":"J. Comput. Syst. Sci"},{"issue":"3","key":"151_CR13","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(3), 429\u2013451 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"151_CR14","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"issue":"6","key":"151_CR15","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/S0370-1573(02)00368-X","volume":"372","author":"Z. Ficek","year":"2002","unstructured":"Ficek Z., Tanas R.: Entanglement states and collective nonclassical effects in two-atom systems. Phys. Rep. 372(6), 369\u2013443 (2002)","journal-title":"Phys. Rep."},{"issue":"4","key":"151_CR16","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"S.J. Gay","year":"2006","unstructured":"Gay S.J.: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4), 581\u2013600 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"151_CR17","unstructured":"Grattage, J.: QML: A functional quantum programming language. PhD. thesis (2006)"},{"key":"151_CR18","volume-title":"Quantum Computing","author":"J. Gruska","year":"1999","unstructured":"Gruska J.: Quantum Computing. McGraw-Hill, New York (1999)"},{"key":"151_CR19","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1038\/nature05586","volume":"445","author":"K. Hennessy","year":"2007","unstructured":"Hennessy K. et\u00a0al.: Quantum nature of a single quantum dot-cavity system. Nature 445, 896\u2013899 (2007)","journal-title":"Nature"},{"key":"151_CR20","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare C.: An axiomatic basis for computer programming. Commun. ACM 12, 576\u2013583 (1969)","journal-title":"Commun. ACM"},{"issue":"4","key":"151_CR21","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s11467-008-0034-y","volume":"3","author":"D. Kielpinski","year":"2008","unstructured":"Kielpinski D.: Ion-trap quantum information processing: experimental status. Front. Phys. China 3(4), 365\u2013381 (2008)","journal-title":"Front. Phys. China"},{"key":"151_CR22","volume-title":"State, Effects, and Operations","author":"K. Kraus","year":"1983","unstructured":"Kraus K.: State, Effects, and Operations. Springer-Verlag, Berlin (1983)"},{"key":"151_CR23","volume-title":"Mathematical foundations of Quantum Mechanics","author":"G. Mackey","year":"1963","unstructured":"Mackey G.: Mathematical foundations of Quantum Mechanics. W.A. Benjamin, New York (1963)"},{"key":"151_CR24","doi-asserted-by":"crossref","first-page":"11539","DOI":"10.1088\/1751-8113\/40\/38\/006","volume":"40","author":"W.A. Majewski","year":"2007","unstructured":"Majewski W.A.: On non-completely positive quantum dynamical maps on spin chains. Phys. A: Math. Theor. 40, 11539\u201311545 (2007) arXiv:quant-ph\/0606176v2","journal-title":"Phys. A: Math. Theor."},{"key":"151_CR25","volume-title":"Quantum Computation and Quantum Information","author":"M. Nielsen","year":"2000","unstructured":"Nielsen M., Chuang I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"151_CR26","unstructured":"\u00d6mer, B.: Structured quantum programming. PhD. thesis, Technical University of Vienna, Austria (2003)"},{"issue":"7","key":"151_CR27","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1007\/s10773-005-7071-x","volume":"44","author":"B. \u00d6mer","year":"2005","unstructured":"\u00d6mer B.: Classical Concepts in Quantum Programming. Int. J. Phys. 44(7), 943\u2013955 (2005)","journal-title":"Int. J. Phys."},{"key":"151_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546631","volume-title":"Completely Bounded Maps and Operator Algebra","author":"V. Paulsen","year":"2003","unstructured":"Paulsen V.: Completely Bounded Maps and Operator Algebra. Cambridge University Press, Cambridge (2003)"},{"key":"151_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1440-3_7","volume-title":"Foundations of Quantum Physics","author":"P. Piron","year":"1976","unstructured":"Piron P.: Foundations of Quantum Physics. W. A. Benjamin, New York (1976)"},{"key":"151_CR30","doi-asserted-by":"crossref","first-page":"042319","DOI":"10.1103\/PhysRevA.68.042319","volume":"68","author":"T.C. Ralph","year":"2003","unstructured":"Ralph T.C., Gilchrist A., Milburn G.J., Munro W.J., Glancy S.: Quantum computation with optical coherent states. Phys. Rev. A 68, 042319 (2003)","journal-title":"Phys. Rev. A"},{"key":"151_CR31","doi-asserted-by":"crossref","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Mathematics of Program Construction, Springer LNCS 1837, pp. 80\u201399","DOI":"10.1007\/10722010_6"},{"issue":"3","key":"151_CR32","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2478\/v10006-008-0031-x","volume":"18","author":"M. Sawerwain","year":"2008","unstructured":"Sawerwain M., Gielerak R.: Natural quantum operational semantics with predicates. Int. J. Appl. Math. Comput. Sci. 18(3), 341\u2013359 (2008)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"issue":"4","key":"151_CR33","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(4), 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"151_CR34","volume-title":"Methods of Modern Mathematical Physics","author":"B. Simon","year":"1970","unstructured":"Simon B.: Methods of Modern Mathematical Physics. Academic Press, New York (1970)"},{"issue":"7\u20138","key":"151_CR35","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 Informatic. 41(7\u20138), 435\u2013474 (2005)","journal-title":"Acta Informatic."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-009-0151-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-009-0151-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-009-0151-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T07:36:28Z","timestamp":1559374588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-009-0151-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,27]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["151"],"URL":"https:\/\/doi.org\/10.1007\/s11128-009-0151-8","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"value":"1570-0755","type":"print"},{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,27]]}}}