Topic summary
Bisimilarity
Extracted from the Wikipedia article Bisimulation.
Fixpoint definition
Bisimilarity can also be defined in order-theoretical fashion, in terms of fixpoint theory, more precisely as the greatest fixed point of a certain function defined below.