Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Natural quantum operational semantics with predicates

100%

Sawerwain M., Gielerak R.

International Journal of Applied Mathematics and Computer Science

2008

tom 18

nr 3

341-359

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.

Stochastic processes associated with thermal quasi-free states

81%

Gielerak R., Jakóbczyk L., Olkiewicz R.

Banach Center Publications

1998

tom 43

nr 1

201-210

Ograniczanie wyników

1 Banach Center Publications

1 International Journal of Applied Mathematics and Computer Science

2 Gielerak R.

1 Jakóbczyk L.

1 Olkiewicz R.

1 Sawerwain M.

1 2008

1 1998

Wyniki wyszukiwania

Natural quantum operational semantics with predicates

Stochastic processes associated with thermal quasi-free states