Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

47

CORR
2010
Springer

45views Education» more CORR 2010»

Bisimulation for quantum processes

15 years 9 days ago

Bisimulation for quantum processes

Download www.cse.psu.edu

Yuan Feng, Runyao Duan, Mingsheng Ying

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» Reversibility and Models for Concurrency

» Derivation of Characteristic Formulae

» Decidability of Bisimulation Equivalence for Normed Pushdown Processes

» Bisimulation of Dynamical Systems

» Nondeterministic Labeled Markov Processes Bisimulations and Logical Characterization

» A Process Algebraic Approach to Concurrent and Distributed Quantum Computation Operational...

» Axiomatizations for the Perpetual Loop in Process Algebra

» Quantum Harmonic Oscillator Sonification

» A Characterisation of Weak Bisimulation Congruence

Post Info
More Details (n/a)

Added	01 Mar 2011
Updated	01 Mar 2011
Type	Journal
Year	2010
Where	CORR
Authors	Yuan Feng, Runyao Duan, Mingsheng Ying

Comments (0)