Zusammenfassung

• Petri-Netz, Zustandsübergangssystem,
• Kanal, MVar, Agent/Actor
• software transactional memory (TVar)
• parallele Auswertung funktionaler Programme (par, pseq)
• balancierte folds, 3. Homomorphiesatz
• map/reduce