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