Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers. - Lorenzo Ceragioli; Giuseppe Lomurno; Gabriele Tedeschi (WADT, 2024)

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (APLAS, 2024)

Effect Semantics for Quantum Process Calculi. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (CONCUR, 2024)

Testing Quantum Processes. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (ISoLA (1), 2024)

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. - Lorenzo Ceragioli; Fabio Gadducci; Giuseppe Lomurno; Gabriele Tedeschi (Proc. ACM Program. Lang., 2024)