Einführung.- 1. Grundbegriffe und Typische Problemstellungen.- 2. Lebendigkeitseigenschaften.- 3. Hierarchisch Modularisierte Parallele Systeme.- 4. Zeit in Verteilten Systemen.- 5. Verteilte Implementierung Paralleler Systeme.- 6. Automatische Verifikation Paralleler Systeme.- 7. Spezifikation Paralleler Systeme.- 8. Axiomatische Verifikation Paralleler Systeme.- 9. Zusammenfassung.