At the beginning of **Communicating and Mobile Systems: the Pi-Calculus** by Robin Milner, there is a introduction on automata and how they can simulate each other so that they cannot be distinguished : **Bisimulation**.


cf [Bisimulation][1] on wikipedia.


  [1]: http://en.wikipedia.org/wiki/Bisimulation