\BOOKMARK [2][]{Outline0.1}{Einleitung}{} \BOOKMARK [2][]{Outline0.2}{Threads, Thread-Sicherheit}{} \BOOKMARK [2][]{Outline0.3}{Petri-Netze}{} \BOOKMARK [2][]{Outline0.4}{Lokale Proze\337kommunikation}{} \BOOKMARK [2][]{Outline0.5}{Communicating Sequential Processes}{} \BOOKMARK [2][]{Outline0.6}{Bisimulation von Prozessen}{} \BOOKMARK [2][]{Outline0.7}{Nicht blockierende Synchronsiation}{} \BOOKMARK [2][]{Outline0.8}{Software Transactional Memory}{} \BOOKMARK [2][]{Outline0.9}{Parallele Auswertungsstrategien}{} \BOOKMARK [2][]{Outline0.10}{Verifikation funktionaler Programme}{} \BOOKMARK [2][]{Outline0.11}{Rekursionsmuster}{} \BOOKMARK [2][]{Outline0.12}{Homomorphies\344tze}{} \BOOKMARK [2][]{Outline0.13}{Das Map/Reduce-Framework}{} \BOOKMARK [2][]{Outline0.14}{Ausblick, Zusammenfassung}{}