Login / Signup

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.

Lorenzo CeragioliFabio GadducciGiuseppe LomurnoGabriele Tedeschi
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases