University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Sibylle Froeschle
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-0231
Aug 2004
The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
EDI-INF-RR-0190
Jan 2004
Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live Free Choice Systems
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh