{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:44:21Z","timestamp":1709203461372},"reference-count":38,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9,1]]},"abstract":"Natural Quantum Operational Semantics with Predicates<\/jats:title>A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation of D'Hondt and Panagaden's theorem about the quantum weakest precondition in terms of discrete support positive operator-valued measures.<\/jats:p>","DOI":"10.2478\/v10006-008-0031-x","type":"journal-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T16:00:58Z","timestamp":1223395258000},"page":"341-359","source":"Crossref","is-referenced-by-count":8,"title":["Natural Quantum Operational Semantics with Predicates"],"prefix":"10.61822","volume":"18","author":[{"given":"Marek","family":"Sawerwain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Gielerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"37438","reference":[{"key":"1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(94)90094-9","article-title":"GSOS and finite labelled transition systems","volume":"1","author":"L. Aceto","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"2","first-page":"167","author":"J. de Bakker","year":"1972","journal-title":"Automata, Languages, and Programming"},{"key":"3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0022-0000(75)80056-0","article-title":"On the completeness of the inductive assertion method","volume":"3","author":"J. Bakker","year":"1975","journal-title":"Journal of Computer and Systems Sciences"},{"key":"4","doi-asserted-by":"crossref","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","article-title":"Teleporting an unknown state via dual classical and Einstein-Podolsky-Rosen channels","volume":"13","author":"C. Bennett","year":"1993","journal-title":"Physical Review Letters"},{"key":"5","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"4","author":"G. Birkhoff","year":"1936","journal-title":"Annals of Mathematics"},{"key":"6","unstructured":"Bloom B. (1989): Ready Simulation, Bisimulation, and the Semantics of CCS-like Languages<\/i>, Ph.D. thesis, Massachusetts Institute of Technology."},{"key":"7","first-page":"229","article-title":"Bisimulation can't be traced: Preliminary report","author":"B. Bloom","year":"1989"},{"key":"8","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.1103\/PhysRevLett.80.1121","article-title":"Experimental realization of teleporting an unknown pure quantum state via dual classical and Einstein-Podolsky-Rosen channels","volume":"6","author":"D. Boschi","year":"1998","journal-title":"Physical Review Letters"},{"key":"9","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1038\/37539","article-title":"Experimental quantum teleportation","volume":"6660","author":"D. Bouwmeester","year":"1997","journal-title":"Nature"},{"key":"10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0024-3795(75)90075-0","article-title":"Completely positive linear maps on complex matrices","volume":"3","author":"M. Choi","year":"1975","journal-title":"Linear Algebra and Its Applications"},{"key":"11","unstructured":"Coecke B. and Martin K. (2002). A partial order on classical and quantum states<\/i>, Technical report, PRG-RR-02-07, Oxford University."},{"key":"12","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1098\/rspa.1992.0167","article-title":"Rapid solutions of problems by quantum computation","volume":"1907","author":"D. Deutsch","year":"1992","journal-title":"Proceedings of the Royal Society of London A"},{"key":"13","author":"E. Dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"14","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1017\/S0960129506005251","article-title":"Quantum weakest preconditions","volume":"3","author":"E. D'Hondt","year":"2006","journal-title":"Mathematical Structures in Computer Science"},{"key":"15","unstructured":"Gielerak R. and Sawerwain M. (2007). Generalised quantum weakest preconditions<\/i>, available at: http:\/\/arXiv:quant-ph\/0710.5239v1<\/a>"},{"key":"16","first-page":"885","article-title":"Measures on the closed subspaces of a Hilbert space","volume":"4","author":"A. Gleason","year":"1957","journal-title":"Journal of Mathematics and Mechanics"},{"key":"17","first-page":"212","article-title":"A fast quantum-mechanical algorithm for database search","author":"L. Grover","year":"1996"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04461-2","author":"M. Hirvensalo","year":"2001","journal-title":"Quantum Computing"},{"key":"19","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"10","author":"C. Hoare","year":"1969","journal-title":"Communications of the ACM"},{"key":"20","unstructured":"Jozsa R. (2005). An introduction to measurement based quantum computation<\/i>, available at: http:\/\/arXiv:quant-ph\/0508124<\/a>"},{"key":"21","author":"K. Kraus","year":"1983","journal-title":"State, Effects, and Operations"},{"key":"22","unstructured":"Kak S. (2003). Teleportation protocols requiring only one classical bit<\/i>, available at: http:\/\/arXiv:quant-ph\/0305085v4<\/a>"},{"key":"23","first-page":"109","article-title":"A process algebraic approach to concurrent and distributed quantum computation: Operational semantics","author":"M. Lalire","year":"2004"},{"key":"24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01170633","article-title":"\u00dcber monotone Matrixfunktionen","volume":"1","author":"K. L\u00f6wner","year":"1934","journal-title":"Mathematische Zeitschrift"},{"key":"25","unstructured":"Mlna\u0159\u00edk H. (2006): LanQ-Operational Semantics of Quantum Programming Language LanQ<\/i>, Technical report FIMURS-2006-10, available at: http:\/\/www.muni.cz\/research\/publications\/706560<\/a>"},{"key":"26","unstructured":"Mauerer W. (2005). Semantics and simulation of communication in quantum programming<\/i>, M. Sc. thesis, University Erlangen-Nuremberg Erlangen, N\u00fcrnberg, see: http:\/\/arXiv:quant-ph\/0511145<\/a>"},{"key":"27","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1007\/s10773-005-7071-x","article-title":"Classical concepts in quantum programming","volume":"7","author":"B. \u00d6mer","year":"2005","journal-title":"International Journal of Theoretical Physics"},{"key":"28","author":"A. Peres","year":"1995","journal-title":"Quantum Theory: Concepts and Methods"},{"key":"29","first-page":"17","article-title":"A structural approach to operational semantics","volume":"60","author":"G. Plotkin","year":"2004","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"30","unstructured":"Raynal P. (2006). Unambiguous state discrimination of two density matrices in quantum information theory<\/i>, Ph.D. thesis, Institut f\u00fcr Optik, Information und Photonik, Max Planck Forschungsgruppe, see: http:\/\/arXiv:quant-ph\/0611133<\/a>"},{"key":"31","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1093\/comjnl\/bxl057","article-title":"Quantum programming languages: An introductory overview","volume":"2","author":"R. R\u00fcdiger","year":"2007","journal-title":"The Computer Journal"},{"key":"32","doi-asserted-by":"crossref","first-page":"5188","DOI":"10.1103\/PhysRevLett.86.5188","article-title":"A one-way quantum computer","volume":"22","author":"R. Raussendorf","year":"2001","journal-title":"Physical Review Letters"},{"key":"33","doi-asserted-by":"crossref","first-page":"022312","DOI":"10.1103\/PhysRevA.68.022312","article-title":"Measurement-based quantum computation with cluster states","volume":"2","author":"R. Raussendorf","year":"2003","journal-title":"Physical Review A"},{"key":"34","first-page":"69","volume":"1","author":"M. Sawerwain","year":"2006","journal-title":"New Technologies in Computer Networks"},{"key":"35","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129504004256","article-title":"Towards a quantum programming language","volume":"5","author":"P. Selinger","year":"2004","journal-title":"Mathematical Structures in Computer Science"},{"key":"36","first-page":"127","article-title":"Towards a semantics for higher order quantum computation","author":"P. Selinger","year":"2004"},{"key":"37","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0034-4877(05)80074-6","article-title":"On the mathematical structure of quantum measurement theory","volume":"2","author":"G. Sewell","year":"2005","journal-title":"Reports on Mathematical Physics"},{"key":"38","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s11128-004-3878-2","article-title":"Progress in quntum algorithms","volume":"1","author":"P. Shor","year":"2004","journal-title":"Quantum Information Processing"}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/18\/3\/article-p341.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/amcs.2008.18.issue-3\/v10006-008-0031-x\/v10006-008-0031-x.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:26:28Z","timestamp":1709202388000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10006-008-0031-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,1]]},"references-count":38,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.2478\/v10006-008-0031-x","relation":{},"ISSN":["1641-876X"],"issn-type":[{"value":"1641-876X","type":"print"}],"subject":[],"published":{"date-parts":[[2008,9,1]]}}}