Go backward to Queue Example
Go up to Top
Go forward to Conclusion
Queue Example
- Disallow simultaneous changes of component outputs:
- and (QE -|>+ QM)
and QE -|>+ QM
QE -|>+ QM
- Disjoint(<, >,
<, >, <, >)
- Proof sketched in paper.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec2.tex,v 1.1 1996/05/24 15:01:43 schreine Exp schreine