Research outputs

Our people

Filter research outputs

What type of research output do you want to show?

All

Chapter

Conference Paper

Journal

Preprint

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 Unknown Book (Vol. 14676, pp. 149-158). 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 PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023. doi:10.1145/3610612.3610614

DOI: 10.1145/3610612.3610614
: Conference Paper

Hybrid Multiparty Session Types

Gheri, L., & Yoshida, N. (2023). Hybrid Multiparty Session Types. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 7(OOPSLA). doi:10.1145/3586031

DOI: 10.1145/3586031
: Journal article

Hybrid Multiparty Session Types -- Full Version

: Preprint

2022

Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version

: Preprint

2021

Zooid: A DSL for Certified Multiparty Computation

Castro-Perez, D., Ferreira, F., Gheri, L., & Yoshida, N. (2021). Zooid: A DSL for Certified Multiparty Computation. In PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) (pp. 237-251). doi:10.1145/3453483.3454041

DOI: 10.1145/3453483.3454041
: Conference Paper

Zooid: a DSL for Certified Multiparty Computation

: Preprint