2024
The Concurrent Calculi Formalisation Benchmark (Chapter)
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_9DOI: 10.1007/978-3-031-62697-5_9
2023
Multicompatibility for Multiparty-Session Composition (Conference Paper)
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. ACM. doi:10.1145/3610612.3610614DOI: 10.1145/3610612.3610614
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection (Journal article)
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/3586031DOI: 10.1145/3586031
2022
2021
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes (Conference Paper)
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.3454041DOI: 10.1145/3453483.3454041
