LOMURNO, GIUSEPPE Statistiche

LOMURNO, GIUSEPPE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
A Coalgebraic Model of Quantum Bisimulation 1-gen-2025 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
Effect Semantics for Quantum Process Calculi 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers 1-gen-2024 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
Testing Quantum Processes 1-gen-2024 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.