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)