!!Research output per year
!!Research output per year
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Giulia Manara er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikationer
- 1 Konferencebidrag i proceedings
-
Formulas as Processes, Deadlock-Freedom as Choreographies
Acclavio, M., Manara, G. & Montesi, F., 2025, Programming Languages and Systems: Proceedings of 34th European Symposium on Programming (ESOP 2025). Vafeiadis, V. (red.). Springer Science+Business Media, s. 23-55 (Lecture Notes in Computer Science, Bind 15694).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil11 Downloads (Pure)