LOMURNO, GIUSEPPE Statistiche
LOMURNO, GIUSEPPE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
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 |
---|---|---|---|
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. |