Saarland University
Computer Science
Programming Systems
Teaching
Communicating Systems


Main page
Literature
Participants
Programme

Theory of Communicating Systems: Presentations

Presentations

  1. Comparing CCS, Pi Calculus and Asynchronous Pi Calculus, Simon Wegener
    (Mark Kaminski)
  2. Bisimulations for CCS and Pi Calculus, Sadia Masood
    (Jan Schwinghammer)
  3. Hennessy-Milner logic, David Spieler
    (Mark Kaminski)
  4. Combining the Typed Lambda Calculus with CCS, Walid Najm Haddad
    (Jan Schwinghammer)
  5. Bisimulation for Functional Programming, Georg Neis
    (Jan Schwinghammer)
  6. Data Structures in Pi Calculus, Raja Hamza Qadir
    (Jan Schwinghammer)
  7. Types in the Pi Calculus, Christian Kariger
    (Gert Smolka)
  8. Spi Calculus, Raphael Reischuk
    (Mark Kaminski)
  9. Mobile Ambients, Daniel Götzmann
    (Gert Smolka)
  10. The Join Calculus, Moritz Hahn
    (Gert Smolka)
Last Change: Wed May 1 17:58:10 2019 |