Giulia Manara

Formulas as Processes, Deadlock-Freedom as Choreographies
Acclavio, M., Manara, G. & Montesi, F., 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (red.). Springer Science+Business Media, s. 23-55 (Lecture Notes in Computer Science, Bind 15694 LNCS).
Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Publikationer