Go backward to Component Specification
Go up to Top
Go forward to Queue Component
Queue Component
- Queue Component
- = <, >
- QM exists : IQM
- IQM Init and always [A] and ICL
- Environment
- = <, >
- QE Init and always [A]
- Non-interleaving representation
- Change Enq and Deq such that they do not constrain
- Define EnqDeq that simultaneously enqueues an input value and
dequeues and output value.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec2.tex,v 1.1 1996/05/24 15:01:43 schreine Exp schreine