Modelling of interfering parallelism

- Assignments operate concurrently on store.
- Result is the set of possible result stores.
- Powerdomain constructions required.
- Resumption semantics (Plotkin):
- Central: concurrent evaluation of C
*_1*and C*_2*. - Problem: how to model concurrent interaction?
- Idea:
*interleave*atomic steps of C*_1*and C*_2*.

- Central: concurrent evaluation of C

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

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