• 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-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang