Tilbage til artikeldetaljer On Plain and Hereditary History-Preserving Bisimulation Download Download PDF