Informatics Report Series


Report   

EDI-INF-RR-0231


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
Authors: Sibylle Froeschle
Date:Aug 2004
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},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh