Sciweavers

276 search results - page 14 / 56
» Bisimulation for quantum processes
Sort
View
STACS
2000
Springer
14 years 17 days ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
IANDC
2010
57views more  IANDC 2010»
13 years 7 months ago
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Sibylle B. Fröschle, Petr Jancar, Slawomir La...
ASIACRYPT
2005
Springer
14 years 2 months ago
Quantum Anonymous Transmissions
We consider the problem of hiding sender and receiver of classical and quantum bits (qubits), even if all physical transmissions can be monitored. We present a quantum protocol for...
Matthias Christandl, Stephanie Wehner
ICMLA
2010
13 years 7 months ago
A Probabilistic Graphical Model of Quantum Systems
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
Chen-Hsiang Yeang