Go backward to Resumptions
Go up to Top
Go forward to References
Summary
- 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.
We look for more natural ways of describing parallelism!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine