Go backward to Properties
Go up to Top
Go forward to References
Summary
The UNITY Model
- Design of and reasoning about parallel programs.
- Step-wise refinements of programs.
- Axiomatic logic for reasoning.
- Core: non-deterministic composition.
- Advantage: simple rules for program composition by union.
- Disadvantage: does not match real languages based on sequential
composition.
Abstraction as an advantage and as a disadvantage!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine