Go backward to Nondeterminism and Concurrency
Go up to Top
Go forward to Powerdomains
Denotational Semantics
- Deterministic program semantics
- F[[P]] = d
- Valuation F maps program P into denotation d.
- Nondeterministic and concurrent program semantics
- F[[P]] = {d_0, d_1, ..., d_n}
- Denotation contains all possible results d_i.
- d_i is element of the powerdomain P(D).
Powerdomain construction required.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine