4 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…
Between Markov and restriction. Two more monads on categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. In a previou…
A taxonomy of categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper…
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…