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)
   • Robin Milner, Communicating and Mobile Systems: the Pi-Calculus, CUP, 1999.
   • Robin Milner, Communication and Concurrency, Prentice Hall, 1989.
   • Matthew Hennessy, A Distributed Pi-Calculus, Cambridge University Press, 2007.
   • Davide Sangiorgi, David Walker, The Pi-Calculus, A Theory of Mobile Processes, Cambridge University Press, 2001.
2. Bisimulations for CCS and Pi Calculus, Sadia Masood
   (Jan Schwinghammer)
   • Robin Milner, Communicating and Mobile Systems: the Pi-Calculus, CUP, 1999.
   • Robin Milner, Communication and Concurrency, Prentice Hall, 1989.
   • Matthew Hennessy, A Distributed Pi-Calculus, Cambridge University Press, 2007.
   • Davide Sangiorgi, David Walker, The Pi-Calculus, A Theory of Mobile Processes, Cambridge University Press, 2001.
3. Hennessy-Milner logic, David Spieler
   (Mark Kaminski)
   • Chapter 10 of Robin Milner, Communication and Concurrency, Prentice Hall, 1989.
4. Combining the Typed Lambda Calculus with CCS, Walid Najm Haddad
   (Jan Schwinghammer)
   • Chapter 17 of G. Plotkin, C. Stirling, M. Tofte (Eds.), Proof, Language and Interaction. Essays in Honour of Robin Milner, MIT Press, 2000.
5. Bisimulation for Functional Programming, Georg Neis
   (Jan Schwinghammer)
   • Andrew Gordon, A Tutorial on Co-induction and Functional Programming, Proceedings of the 1994 Glasgow Workshop on Functional Programming, pages 78-95.
6. Data Structures in Pi Calculus, Raja Hamza Qadir
   (Jan Schwinghammer)
   • Chapters 10,11 of Robin Milner, Communicating and Mobile Systems: the Pi-Calculus, CUP, 1999.
7. Types in the Pi Calculus, Christian Kariger
   (Gert Smolka)
   • Chapter 11 of Robin Milner, Communicating and Mobile Systems: the Pi-Calculus, CUP, 1999.
   • Part III of Davide Sangiorgi, David Walker, The Pi-Calculus, A Theory of Mobile Processes, Cambridge University Press, 2001.
8. Spi Calculus, Raphael Reischuk
   (Mark Kaminski)
   • Martín Abadi and Andrew Gordon, A Calculus for Cryptographic Protocols: The spi Calculus, Information and Computation, 148:1-70, 1999.
9. Mobile Ambients, Daniel Götzmann
   (Gert Smolka)
   • Luca Cardelli and Andrew Gordon, Mobile Ambients, Theoretical Computer Science 240:177-213, 2001.
10. The Join Calculus, Moritz Hahn
    (Gert Smolka)
    • Cédric Fournet and Georges Gonthier, The Join Calculus: a Language for Distributed Mobile Programming, Lecture notes for Applied Semantics International Summer School, August 2000. LNCS 2395, pages 268--332, Springer.