Fröschle, Sibylle B.

• BRICS Report Series No. 4 (1999): RS-4 On Plain and Hereditary History-Preserving Bisimulation - Articles
  On Plain and Hereditary History-Preserving Bisimulation
  Abstract  PDF