Bisimulations for Probabilistic and Quantum Processes (Invited Paper).

Yuxin Deng

Browse the full CONCUR paper archive.