Go backward to Valuation Functions
Go up to Top
Go forward to Summary
Resumptions
- 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'.
- Sequence r:
- Result r(s) is application of fist step.
- Pair (store s', resumption r').
- r' describes the remaining steps to be done.
- Resumption of complete program is flattened into the set of possible
evaluation sequences.
Tool for modeling interruptions!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine