Informatics Report Series
Report (by Number) Index
Report (by Date) Index
The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live Free Choice Systems
Please mail <email@example.com> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh