276 search results - page 1 / 56 » Bisimulation for quantum processes |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
ENTCS
2007
13 years 5 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
ENTCS
1998
13 years 5 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
TCS
1998
13 years 5 months ago
1998
We prove that bisimulation equivalence is decidable for normed pushdown processes.
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...