Creator:

Sawerwain, Marek ; Gielerak, Roman

Contributor:

Gałkowski, Krzysztof - ed. ; Rogers, Eric - ed. ; Willems, Jan

Title:

Natural quantum operational semantics with predicates

Subtitle:

.

Group publication title:

AMCS, volume 18 (2008)

Subject and Keywords:

quantum computation ; predicate notion for quantum programs ; quantum labelled transition systems

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.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

2008

Resource Type:

artykuł

DOI:

10.2478/v10006-008-0031-x

Pages:

341-359

Source:

AMCS, volume 18, number 3 (2008) ; click here to follow the link

Language:

eng

License CC BY 4.0:

click here to follow the link

Rights:

Biblioteka Uniwersytetu Zielonogórskiego