Zusammenfassung

• Temporal-Logik (zur Beschreibung von Eigenschaften nebenläufiger Systeme)
• sicherer Zugriff auf gemeinsamen Speicher:

  software transactional memory (STM, TVar, ...)

• Prozesse mit lokalem Speicher: CSP, Kanäle, Agenten; verteilte Programme
• parallele Auswertung funktionaler Programme (Strategie-Annotationen)
• balancierte folds, map/reduce

Beispielklausur: http://www.imn.htwk-leipzig.de/~waldmann/edu/ss11/skpp/klausur/