Go backward to Corollary
Go up to Top
Go forward to Queue Example
Queue Example
- A/G specification QE -|>+ QM.
- Composition of two queues:
- QE -|>+ QM
- QE -|>+ QM
- QE -|>+ QM
- Prove (QE -|>+ QM)
and QE -|>+ QM
QE -|>+ QM
- Not valid for interleaving representation:
- First queue spec does not mention .
- Second queue spec does not mention .
- Conjunction allows simultaneous enqueue action of first queue
and dequeue action of second queue.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec2.tex,v 1.1 1996/05/24 15:01:43 schreine Exp schreine