Go backward to Queue Example
Go up to Top
Go forward to References
Conclusion
- Components of concurrent systems
- Complete systems.
- Conjunction of component specfications.
- Open systems.
- -|>+ .
- Environment specification .
- Component specifcation .
- Rules for proving properties of large systems
- Reasoning about components.
- Composition and decomposition theorems.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec2.tex,v 1.1 1996/05/24 15:01:43 schreine Exp schreine