The decidability border of hereditary history preserving bisimilarity Fröschle, Sibylle B. 2004 - TUHH Open Research