Prinzipien, Algorithmen und Modelle der Nebenläufigen Programmierung

Vorlesungsskript

• skript.pdf

Folien

• 01-orga-uebersicht: [Bildschirmversion | Druckversion]
• 02-einleitung: [Bildschirmversion | Druckversion]
• 03-mututal-exclusion: [Bildschirmversion | Druckversion]
• 04-mutual-exclusion-n-proc: [Bildschirmversion | Druckversion]
• 05-complexity-mutual-exclusion: [Bildschirmversion | Druckversion]
• 06-memory-primitives: [Bildschirmversion | Druckversion]
• 07-consensus: [Bildschirmversion | Druckversion]
• 08-semaphore: [Bildschirmversion | Druckversion]
• 09-monitore: [Bildschirmversion | Druckversion]
• 10-channels: [Bildschirmversion | Druckversion]
• 11-tuple-spaces: [Bildschirmversion | Druckversion]
• 12-deadlocks: [Bildschirmversion | Druckversion]
• 13-stm: [Bildschirmversion | Druckversion]
• 14-haskell-einfuehrung: [Bildschirmversion | Druckversion]
• 15-concurrent-haskell: [Bildschirmversion | Druckversion]
• 16-stm-haskell: [Bildschirmversion | Druckversion]
• 17-semantik-einfuehrung: [Bildschirmversion | Druckversion]
• 18-pi-kalkuel: [Bildschirmversion | Druckversion]
• 19-chf-kalkuel: [Bildschirmversion | Druckversion]
• 20-uebersicht-wiederholung: [Bildschirmversion | Druckversion]