Saarland University
Computer Science
Programming Systems
Teaching
Communicating Systems


Main page
Literature
Participants
Programme

Theory of Communicating Systems: Programme

Session 1: Thursday, September 27th, 10:30-13:00

• Comparing CCS, Pi Calculus and Asynchronous Pi Calculus
  Simon Wegener
• Bisimulations for CCS and Pi Calculus
  Sadia Masood
• Data Structures in Pi Calculus
  Raja Hamza Qadir
• Types in the Pi Calculus
  Christian Kariger
• Hennessy-Milner logic
  David Spieler

Session 2: Friday, September 28th, 10:00-12:30

• Bisimulation for Functional Programming
  Georg Neis
• The Spi Calculus
  Raphael Reischuk
• Mobile Ambients
  Daniel Götzmann
• The Join Calculus
  Moritz Hahn
• Combining the Typed Lambda Calculus with CCS
  Walid Najm Haddad