Modul "Kommunizierende und mobile Systeme"

 

1 Organisatorisches

Form: 3 VL + 1 Ü    (6 ECTS-Punkte)

Vorlesung:    E.-R. Olderog

Dienstag 10-12, A4 2-221,    Beginn: 20.4.2004
Mittwoch 8-10 (u), A4 2-221

Übungen:    A. Schäfer

Mittwoch 14-15, A1 0-005

 

2 Ziele

Einführung in Robin Milners Kalkül der kommunizierenden Systeme und den pi-Kalkül.

 

3 Inhalt

Kommunikation ist ein grundlegendes Konzept in der Informatik, das sowohl zwischen einzelnen Computern in einem Netzwerk als auch zwischen Komponenten innerhalb eines Computers auftreten kann. Im Mittelpunkt der Vorlesung steht Robin Milners pi-Kalkül, der eine neuartige Modellierung von Kommunikation ermöglicht, die den Ort der Kommunikation berücksichtigt.

Mit dem pi-Kalkül lässt sich die Veränderung von Daten in einem Computer ebenso beschreiben wie das Versenden von Nachrichten oder gar Programmen über ein Netzwerk wie das Internet. Es können auch Netwerke beschrieben werden, die sich rekonfigurieren. Dieses wird am Beispiel von Mobiltelefonen, Schedulern, Verkaufsautomaten, Datenstrukturen, Kommunikationsprotokollen und Objekten der objekt-orientierten Programmierung gezeigt.

Hinter diesen Anwendungen steht die Theorie des pi-Kalküls, die auf einer operationellen Semantik und einem Äquivalenzbegriff von Verhalten beruht. In der Vorlesung wird diese Theorie schrittweise erklärt.

 

4 Literatur

• Robin Milner. Communicating and mobile systems: the pi-calculus. Cambridge University Press, 1999.
• D. Sangiorgi and D. Walker. The pi-calculus: A Theory of Mobile Systems, Cambridge University Press, 2001

 

5 Übungsaufgaben

Hier wird die Möglichkeit geboten, die aktuellen Übungsblätter zu dieser Lehrveranstaltung abzurufen. Wir bitten jedoch im Interesse aller, die Übungsblätter nicht gedankenlos auszudrucken, insbesondere nicht auf den Laserdruckern der ARBI. Photokopien sind unter Berücksichtigung aller Kosten in der Regel günstiger als Laserdrucke!

Dieses Angebot richtet sich hauptsächlich an diejenigen, die auf anderem Wege kein Exemplar der Übungsblätter erhalten konnten, bzw. die die Aufgaben während der Bearbeitung am Bildschirm betrachten möchten.

	pdf	ps
01	(37 KByte)	(158 KByte)
02	(33 KByte)	(140 KByte)
03	(39 KByte)	(183 KByte)
04	(41 KByte)	(166 KByte)
05	(34 KByte)	(141 KByte)
06	(39 KByte)	(155 KByte)
07	(50 KByte)	(194 KByte)
08	(38 KByte)	(154 KByte)
09	(38 KByte)	(155 KByte)
10	(32 KByte)	(136 KByte)
11	(48 KByte)	(185 KByte)
12	(36 KByte)	(147 KByte)
13	(88 KByte)	(290 KByte)