Dozent: Ralf Möller
Ort: TUHH, Harburger Schloßstraße 20, Raum 206
Zeit: Mittwoch 14.00-16.00 Uhr
Thema des Seminars wird das Buch: "Communicating and Mobile Systems", Robin Milner, Cambridge University Press, 1999.
Dieses Seminar ist u.a. geeignet für Studierende, die einen Schein für den Seminartyp Fallstudie benötigen. Als Fallstudie wird der Pi-Calculus untersucht. Das Seminar bietet in den ersten Vorträgen die notwendige Einführung in die Grundlagen.
Materialien zur Vorbereitung der Vorträge werden bereitgestellt. Die Studierenden erstellen zu jedem Vortrag bis zum Ende des Semesters eine Ausarbeitung.
Inhalt
| Termin | Themen | Name |
| 26.10.05 | Introduction | |
| 2.11.05 | Behaviour of Automata | Ye, Spanneberg |
| 9.11.05 | Sequential Process and Bisimulation | Yao, Weigel |
| 16.11.05 | Concurrent Processes and Reaction | Heins, Piske |
| 23.11.05 | Transitions and Strong Equivalence | von Cube, Sabelmann |
| 30.11.05 | Observation Equivalence: Theory | Uhlig, Günay |
| 7.12.05 | Observation Equivalence: Examples | Kim, Bier |
| 14.12.05 | What is Mobility? | Gao, Su |
| 11.1.06 | The Pi-Calculus and Reaction | Radev, Wei |
| 18.1.06 | Applications of the Pi-Calculus | Yi Wei, Shen |
| 25.1.06 | Sorts, Objects, and Functions | Mao, Wang |
| Commitments and Strong Bisimulation | ||
| 1.2.06 | Observation Equivalence and Examples | Rumen Delov, Aleksandar Yalnazov |
Ralf Möller