Go backward to Equality of Agents
Go up to Top
Go forward to Composite Agents
Action and Transition
- Names and co-names
- Set of names (geth, ackin, ...)
- Set of co-names (geth, ackin,
...)
- Set of labels = U
- Transition ->l
- Hammer -> Busyhammer
- Busyhammer -> Hammer
- Agents and
- := , := .
- := , := .
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine