- Non-determinism is modeled by powerdomain constructions.
- Interfering parallelism is modeled by resumption semantics.
- Problem: constructions are far too complex!
- Function notation is ill-suited for multivalued objects.
- Denotational semantics is insufficient.

Wolfgang.Schreiner@risc.uni-linz.ac.at

Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine