Advanced search ?

Object

Natural quantum operational semantics with predicates

Download

Title: Natural quantum operational semantics with predicates

Creator:

Sawerwain, Marek ; Gielerak, Roman

Date:

2008

Resource Type:

artykuł

Contributor:

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

Subtitle:

.

Group publication title:

AMCS, volume 18 (2008)

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

Resource Identifier:

oai:zbc.uz.zgora.pl:78722

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

Rights:

Biblioteka Uniwersytetu Zielonogórskiego

Subject and keywords:

quantum computation predicate notion for quantum programs quantum labelled transition systems

Object collections:

Last modified:

Apr 8, 2024

In our library since:

Apr 5, 2024

Number of object content hits:

50

All available object's versions:

https://zbc.uz.zgora.pl/repozytorium/publication/88484

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Natural quantum operational semantics with predicates Apr 8, 2024

Contact details

Address

University Library
al. Wojska Polskiego 71
65-762 Zielona Góra

Phone

(+48) 68 328 21 55

E-Mail

repozytorium@uz.zgora.pl

Visit us!

This page uses 'cookies'. More information