Go backward to Decomposition of Proofs
Go up to Top
Go forward to A Queue Process
Composing Open Systems
- Open System:
- Interaction with uncontrolled environment.
- Example: two-phase hand-shake protocol
- Channel = < , , >
- Message value
- Synchronization bits = < , >
- Channel ready to send when
- Sending by setting to and complementing .
- Recept acknowledged by complementing
- State sequence for sending
| 0 | 0 | 1 | 1 | 0 | 0 | ... |
| 0 | 1 | 1 | 0 | 0 | 1 | ... |
| - | 37 | 37 | 4 | 4 | 19 | ... |
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec1.tex,v 1.1 1996/05/13 09:04:04 schreine Exp schreine