Go backward to The Expansion Law
Go up to Top
Go forward to Experimenting upon Agents
Equivalence of Agents
- Two agents and are different if distinction can be detected by
external agent interacting with them
- Strong equivalence:
- tau is treated like any other (observable) action.
- Observation equivalence:
- tau cannot be observed by external agent.
- Congruence relation i.e. preserved by all algebraic contexts.
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine