Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Browse the full APLAS paper archive.