Return to Article Details A Characterization of Finitary Bisimulation Download Download PDF