276 search results - page 29 / 56 » Bisimulation for quantum processes |
104
Voted
TIT
2008
15 years 12 days ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
87
Voted
BIOSYSTEMS
2007
15 years 19 days ago
2007
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
103
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
99
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
94
Voted
IVCNZ
1998
15 years 1 months ago
1998
Duality is a well-established concept in quantum physics. It formalises the fact that what one observes is not nature in itself, but--in Heisenberg's words--"nature expo...