Personlig profil
Emneord
- Multiparty computation
- Type theory
- Programming languages
- Coq
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Publikation
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, I: J. Autom. Reason.. 69, 2, s. 14 1 s., 2.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 jun. 2025, ECOP. s. 31:1-31:30 30 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
A Mechanisation of Multiparty Session Types
Tirore, D., 2024, IT-Universitetet i København. 160 s.Publikation: Afhandlinger › Ph.d.-afhandling
-
The Concurrent Calculi Formalisation Benchmark
Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., Padovani, L., Scalas, A., Tirore, D., Vassor, M., Yoshida, N. & Zackon, D., 11 jun. 2024, Coordination Models and Languages. Springer Nature Switzerland, s. 149-158 9 s. (Lecture Notes in Computer Science, Bind 14676).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang
Projekter
- 1 Afsluttet
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 30/10/2025
Projekter: Projekt › Forskning
Forskningsdatasæt
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Ophavsmand), Bengtson, J. (Ophavsmand) & Carbone, M. (Ophavsmand), ZENODO, 27 apr. 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Datasæt: Software