3 papers
cs.LO2026
Verification of Quantum Protocols Adopting Physically Admissible Schedulers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1
Reliable verification techniques for quantum communication protocols are of paramount importance, given their high implementation cost and critical contexts of application. Extensi…
cs.LO2025
A Coalgebraic Model of Quantum Bisimulation
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno +1
Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprising…
cs.LO2024
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1
The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quant…