The decidability border of hereditary history preserving bisimilarity

Sibylle B. Fröschle. The decidability border of hereditary history preserving bisimilarity. Inf. Process. Lett., 93(6):289-293, 2005. [doi]

Abstract

Abstract is missing.