Rob J. van Glabbeek: Bisimulation. Encyclopedia of Parallel Computing 2011: 136-139