Aktiviteter pr. år
Aktiviteter
- 5 resultater
Søgeresultater
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
Choreographies as objects: programming multiparty protocols with Choral
Marco Peressotti (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
Introduction to Formal Methods
Marco Peressotti (Underviser)
26. aug. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Underviser)
25. feb. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
University of Glasgow
Marco Peressotti (Gæsteforsker)
23. feb. 2020 → 29. feb. 2020Aktivitet: Gæsteophold ved andre institutioner