Nächste Seite:
Nebenläufige Komposition
Aufwärts:
Communicating Sequential Processes
Vorherige Seite:
Die Prozeß-Algebra (operationale Semantik)
Sequentielle Komposition
Syntax
P
1
;
P
2
Semantik
informal: erst
P
1
, dann
P
2
formal (Inferenz-Regel)
Johannes Waldmann 2011-06-29
