Go backward to Behavior Descriptions
Go up to Top
Go forward to Summation
Bounded Buffer
-
- := ^^...^
- Behaves as bounded buffer of capacity .
- = Buff
- Specification Buff()
- Buff < > :=
in().Buff <>
- Buff <> :=
out().Buff <> - Buff <> :=
in().Buff <>
out().Buff <>()
- = Buff < >
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine