Commutativity Of Quantum Weakest Preconditions

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, Mingsheng en_US
dc.contributor.author Chen, J en_US
dc.contributor.author Feng, Yuan en_US
dc.contributor.author Duan, Runyao en_US
dc.contributor.editor en_US
dc.date.accessioned 2010-05-28T09:42:26Z
dc.date.available 2010-05-28T09:42:26Z
dc.date.issued 2007 en_US
dc.identifier 2008004765 en_US
dc.identifier.citation Ying Mingsheng et al. 2007, 'Commutativity Of Quantum Weakest Preconditions', Elsevier Science Bv, vol. 104, no. 4, pp. 152-158. en_US
dc.identifier.issn 0020-0190 en_US
dc.identifier.other C1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/8318
dc.description.abstract The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science 16 (2006) 429-451], and they presented a representation of weake en_US
dc.language en_US
dc.publisher Elsevier Science Bv en_US
dc.relation.hasversion Accepted manuscript version en_US
dc.relation.isbasedon http://dx.doi.org/10.1016/j.ipl.2007.06.003 en_US
dc.rights NOTICE: this is the author’s version of a work that was accepted for publication in Information Processing Letters. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Processing Letters, [Volume 104, Issue 4, 15 November 2007, Pages 152–158] DOI#” http://dx.doi.org/10.1016/j.ipl.2007.06.003 en_US
dc.title Commutativity Of Quantum Weakest Preconditions en_US
dc.parent Information Processing Letters en_US
dc.journal.volume 104 en_US
dc.journal.number 4 en_US
dc.publocation Amsterdam en_US
dc.identifier.startpage 152 en_US
dc.identifier.endpage 158 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 010500 en_US
dc.personcode 103396 en_US
dc.personcode 0000020247 en_US
dc.personcode 106439 en_US
dc.personcode 106353 en_US
dc.percentage 100 en_US
dc.classification.name Mathematical Physics en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords Formal Semantics; Quantum Program; Hermitian Matrix; Super-Operator; Weakest Precondition en_US
dc.staffid 106353 en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record