Nächste Seite:
Einleitung
Aufwärts:
Sprachkonzepte der Parallelen Programmierung
Vorherige Seite:
Rendezvous-Zusammenfassung
Communicating Sequential Processes
Unterabschnitte
Einleitung
Die Prozeß-Algebra (Syntax)
Die Prozeß-Algebra (operationale Semantik)
Sequentielle Komposition
Nebenläufige Komposition
Iteration (Rekursion)
Endliche Systeme
Spur-Semantiken
Spur/Ablehnungs-Semantik
Divergenz
CSP-Literatur
Ableitungen (1)
Ableitungen (2)
Ableitungen (3)
Ableitungen (4)
Ableitungen (5)
Beschränkte Rekursion
Johannes Waldmann 2011-06-29
