Go backward to
The Expansion Law
Go up to
Go forward to
Experimenting upon Agents
Equivalence of Agents
are different if distinction can be detected by external agent interacting with them
is treated like any other (observable) action.
cannot be observed by external agent.
i.e. preserved by all algebraic contexts.
Last Modification: June 8, 1998