LOMURNO, GIUSEPPE Statistiche
LOMURNO, GIUSEPPE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 secondi).
A Coalgebraic Model of Quantum Bisimulation
2025-01-01 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers
2025-01-01 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
Effect Semantics for Quantum Process Calculi
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
Testing Quantum Processes
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
| 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. |