Davide Sangiorgi

• An introduction to bisimulation and coinduction
• Concurrency theory
• The [pi]-calculus
• Trustworthy global computing
• A theory of bisimulation for the (lambda)-calculus
• Advanced topics in bisimulation and coinduction
• Introduction to Bisimulation and Coinduction
• Locality and non-interleaving semantics in calculi for mobile processes
• Pi-Calculus
• Theoretical Computer Science