Marco Peressotti

Filter

A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Underviser)
17. sep. 2020
Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
Introduction to Formal Methods
Peressotti, M. (Underviser)
26. aug. 2020
Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Underviser)
25. feb. 2020
Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter

Aktiviteter