- Abstract:
-
In (Mukund, 2002) it is presented that hereditary history preserving bisimilarity is decidable for finite trace-labelled systems. In this note we expose a gap in the argumentation, and demonstrate that the proof cannot easily be repaired.
- Copyright:
- 2004 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0231,
- author = {
Sibylle Froeschle
},
- title = {The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved},
- year = 2004,
- month = {Aug},
- }
|