Return to Article Details On Plain and Hereditary History-Preserving Bisimulation Download Download PDF