Giuseppe Lomurno

According to our database, Giuseppe Lomurno authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

A Coalgebraic Model of Quantum Bisimulation.

Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi

CoRR, September, 2025

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., January, 2024

Testing Quantum Processes.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Effect Semantics for Quantum Process Calculi.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.

Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2024