1. A. Cheng, Reasoning about concurrent computational systems, PhD thesis, BRICS, University of Aarhus, 1996
2. Decidability of plain and hereditary history-preserving bisimulation for BPP;Fröschle,1999
3. S. Fröschle, Decidability and coincidence of equivalences for concurrency, PhD thesis, University of Edinburgh, 2004
4. S. Fröschle, The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved, Technical Report EDI-INF-RR-0231, University of Edinburgh, 2004
5. On plain and hereditary history-preserving bisimulation;Fröschle,1999