Autor:

Sawerwain, Marek ; Gielerak, Roman

Współtwórca:

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

Tytuł:

Natural quantum operational semantics with predicates

Podtytuł:

.

Tytuł publikacji grupowej:

AMCS, volume 18 (2008)

Temat i słowa kluczowe:

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2008

Typ zasobu:

artykuł

DOI:

10.2478/v10006-008-0031-x

Strony:

341-359

Źródło:

AMCS, volume 18, number 3 (2008) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego