On Plain and Hereditary History-Preserving Bisimulation

Sibylle B. Fröschle, Thomas T. Hildebrandt. On Plain and Hereditary History-Preserving Bisimulation. In Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki, editors, Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS 99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings. Volume 1672 of Lecture Notes in Computer Science, pages 354-365, Springer, 1999.

Abstract

Abstract is missing.