Return to Article Details On the Finitary Bisimulation Download Download PDF