Skip to main content

Dr Lorenzo Gheri


Computer Science
Part of
School of Electrical Engineering, Electronics and Computer Science
Faculty of Science and Engineering

Contact

Lorenzo.Gheri@liverpool.ac.uk

Publications

What type of publication do you want to show?

2024

The Concurrent Calculi Formalisation Benchmark

Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., . . . Zackon, D. (2024). The Concurrent Calculi Formalisation Benchmark. In Lecture Notes in Computer Science (pp. 149-158). Springer Nature Switzerland. doi:10.1007/978-3-031-62697-5_9

DOI
10.1007/978-3-031-62697-5_9
Chapter

2023

Multicompatibility for Multiparty-Session Composition

Barbanera, F., Dezani-Ciancaglini, M., Gheri, L., & Yoshida, N. (2023). Multicompatibility for Multiparty-Session Composition. In International Symposium on Principles and Practice of Declarative Programming (pp. 1-15). ACM. doi:10.1145/3610612.3610614

DOI
10.1145/3610612.3610614
Conference Paper

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection

Gheri, L., & Yoshida, N. (2023). Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proceedings of the ACM on Programming Languages, 7(OOPSLA1), 112-142. doi:10.1145/3586031

DOI
10.1145/3586031
Journal article

2022

2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes

Castro-Perez, D., Ferreira, F., Gheri, L., & Yoshida, N. (2021). Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM. doi:10.1145/3453483.3454041

DOI
10.1145/3453483.3454041
Conference Paper