Forward and Backward Constrained Bisimulations for Quantum Circuits.

Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski

Browse the full TACAS paper archive.