2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
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…
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…