Sciweavers

276 search results - page 14 / 56
» Bisimulation for quantum processes
Sort
View
142
Voted
STACS
2000
Springer
15 years 8 months ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
91
Voted
IANDC
2010
57views more  IANDC 2010»
15 years 3 months ago
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Sibylle B. Fröschle, Petr Jancar, Slawomir La...
132
Voted
ASIACRYPT
2005
Springer
15 years 10 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
168
Voted
ICMLA
2010
15 years 2 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