Go backward to Restrictions
Go up to Top
Go forward to The Basic Language
Transition Graph
- Transition graph
- \ = .tau.
- := ..tau. ..tau.
- Composite system
- Behavior defined without use of composition combinator or
restriction combinator!
- Internal communication
- alpha.tau. = alpha.
- \ = .
- := .. ..
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine