Go backward to
The Expansion Law
Go up to
Top
Go forward to
Experimenting upon Agents
Equivalence of Agents
Equivalence
Two agents
P
and
Q
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.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998