Sibylle B. Fröschle. The decidability border of hereditary history preserving bisimilarity. Inf. Process. Lett., 93(6):289-293, 2005. [doi]
@article{Froschle05:0, title = {The decidability border of hereditary history preserving bisimilarity}, author = {Sibylle B. Fröschle}, year = {2005}, doi = {10.1016/j.ipl.2004.11.010}, url = {http://dx.doi.org/10.1016/j.ipl.2004.11.010}, tags = {history}, researchr = {https://researchr.org/publication/Froschle05%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {93}, number = {6}, pages = {289-293}, }