On plain and hereditary history-preserving bisimulation Fröschle, Sibylle B. Hildebrandt, Thomas 1999 - TUHH Open Research
Decidability of plain and hereditary history-preserving bisimilarity for BPP Fröschle, Sibylle B. 1999 - TUHH Open Research - frei zugänglich