Inhalt

Nebenläufige und verteilte Programme

• Modellierung von Prozessen (CPS-Kalkül)
• Spezifikation von Prozessen (LTL-Logik)
• Primitiven und Abstraktionen zur Thread-Synchronisation: Semaphore, Monitore, Kanäle,
• Transaktionen (Software Transactional Memory)
• Aktoren

Parallele Programme:

• deklarativer Parallelismus durch Strategien
• Rekursionsschemata für parallele Programme
• Anwendung: map/reduce-Framework