Decomposition and complexity of hereditary history preserving bisimulation on BPP Fröschle, Sibylle B. Lasota, Sławomir 2005 - TUHH Open Research