<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Natural Quantum Operational Semantics with Predicates

Institute of Control and Computation Engineering, University of Zielona Góra, ul. Podgórna 50, 65-246 Zielona Góra, Poland

International Journal of Applied Mathematics and Computer Science

{"article-title":"Natural Quantum Operational Semantics with Predicates"}

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a...

Natural Quantum Operational Semantics with Predicates

Publié en ligne: 06 oct. 2008

Pages: 341 - 359

DOI: https://doi.org/10.2478/v10006-008-0031-x

Mots clés
quantum computation, predicate notion for quantum programs, quantum labelled transition systems

This content is open access.

Natural Quantum Operational Semantics with Predicates

Publié en ligne: 06 oct. 2008

Pages: 341 - 359

DOI: https://doi.org/10.2478/v10006-008-0031-x

Mots clésquantum computation, predicate notion for quantum programs, quantum labelled transition systems

This content is open access.

Mots clés
quantum computation, predicate notion for quantum programs, quantum labelled transition systems