Go backward to Summation
Go up to Top
Go forward to Examples
Example
- Received values to be acknowledged.
- := in().out().ackout.ackin.
- acknowledges input after it has delivered value as output and also
received acknowledgement.
- Synchronization actions ackout, ackin.
- Combination of copies of :
- := ^^...^
- behaves like single copy of !
- ^ = !
- Alternative definition:
- :=
in().ackin.out().ackout.
- = Buff' < >.
- Slightly modified specification Buff'.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine