Talks available on line
-
Here
is a talk on internal mobility (the talk deals with basic models
and type systems for process mobility). (BRICS, November 1997)
-
Here
is a talk on types for pi-calculus processes, with emphasis on their use
for reasoning. (ETAPS, April 1999)
On a similar topic, is
this
talk (Tosca, December 2000)
-
The pi-calculus and its family: interaction, equivalences
. (MFPS, April 2000)
-
Coinduction in Programming Languages
. (POPL, January 2004)
-
Bisimulation and Coinduction: from the Origins to Today
. (LICS, July 2004).
Here is a revised version (Algebraic Process Calculi: The First
25 Years and Beyond, August, 2005)
-
A talk on the future of concurrency
, Concurrency Panel,
Milner Symposium
April 2012