Marco Peressotti

If you made any changes in Pure these will be visible here soon.

Filter

A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Guest lecturer)
17. Sept 2020
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
Introduction to Formal Methods
Marco Peressotti (Guest lecturer)
26. Aug 2020
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Guest lecturer)
25. Feb 2020
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities

Activities