1. Modelle verteilter Algorithmen
2. Kausalität
3. Logische Zeit
4. Stabile Prädikate
5. Safety und Liveness
6. Terminierung
7. Propagieren von Information
8. Konsistenter Schnappschuss
9. Wechselseitiger Ausschluss
10. Deadlocks

• Übung 1 [PDF]
• Übung 2 [PDF]
• Übung 3 [PDF]

Status der Übungen [TXT]

• Folien 20.10. [PDF]
• Folien 27.10. [PDF] (Teil 1)
• Folien 27.10. [PDF] (Teil 2)
• Folien 03.11. [PDF] (Teil 1)
• Folien 03.11. [PDF] (Teil 2)
• Folien 01.12. [PDF] (Teil 1)
• Folien 01.12. [PDF] (Teil 2)

Datum	Name	Thema	Download
10.11.	Angel	U1 mit Ruby	[PDF]
10.11.	Kircher	U1 mit Java, jung und jansi	[PDF]
17.11.	Paltz	U1 mit node.js	[PDF]
17.11.	Fey	U1 mit Python	[PDF]
17.11.	Kober	U1 mit Swift	[PDF]
24.11.	Roncoroni	U1 mit C#	[PDF]
24.11.	Münch	U1 mit AngularJS	[PDF]

• Di 19.01.16
  • 11:45 M. Guldner
  • 12:00 K. Amellal
  • 12:15 Y. Kircher
  • 12:30 M. Roncoroni
  • 12:45 R. Henle
  • 13:00 ...
• Mi 20.01.16
  • 11:45 C. Geidt
  • 12:00 T. Arweiler
  • 12:15 S. Schultheiß
  • 12:30 M. Guldner
  • 12:45 ...
  • 13:00 K. Amellal
• Di 26.01.16
  • 11:45 P. Michely
  • 12:00 D. Kadiogullari
  • 12:15 Y. Kircher
  • 12:30 ...
  • 12:45 J. Angel
  • 13:00 ...
• Mi 27.01.16
  • 11:45 P. Michely
  • 12:00 T. Arweiler
  • 12:15 S. Schultheiß
  • 12:30 C. Geidt
  • 12:45 ...
  • 13:00 ...

bislang angemeldete Teilnehmer:

Amellal Angel Arweiler Drost Fey Fiedler 
Fuß Geidt Görres Graf Guennoun Guldner Henle Huppert Jakobs
Kalicki Kircher Kober Köhler Lambert Michely Muench Paltz
Roncoroni Schaffhauser Schönfeld Schuhmann Schultheiß 
Seyler