- Resumption = denotation of a command in the context of interfering parallelism.
- Set of interruptable evaluation sequences.
*r*resumption,*s*store.- Single step
*r*:- Result
*r(s)*contains a single store*s'*.

- Result
- Sequence
*r*:- Result
*r(s)*is application of fist step. - Pair (store
*s'*, resumption*r'*). *r'*describes the remaining steps to be done.

- Result
- Resumption of complete program is flattened into the set of possible evaluation sequences.

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

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