Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lorenzo Ceragioli
conf.researchr.org general profile
APLAS 2024 profile
POPL 2024 profile
STAF 2024 profile
Registered user since Mon 13 Nov 2023
Name:
Lorenzo Ceragioli
Affiliation:
IMT Lucca, Italy
Contributions
2024
PLanQC
Author of Effect Semantics for Quantum Protocols within the PLanQC 2024-track
APLAS
Author of Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers within the Research Papers-track
WADT
Author of Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers within the Research papers-track
POPL
Author of Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers within the POPL-track
Share
x
Sun 17 Nov 21:14
