Nichtdeterminismus, Kommunikation, Synchronisation
auch auf single-Core sinnvoll (Multi-Agenten-Systeme)
Auswertungsstrategien, die Multiprozessor/core-Hardware ausnutzten
Idealfall: Kommunikation/Synchronisation im Programmtext unsichtbar