Deciding history preserving bisimilarity

Authors:
Walter Vogler
Affiliations:
-
Venue:
Proceedings of the 18th international colloquium on Automata, languages and programming
Year:
1991

Citing 0
Cited 3

Hereditary History Preserving Bisimilarity Is Undecidable

STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Bisimulation equivalences for graph grammars

Formal and natural computing
Undecidability of domino games and hhp-bisimilarity

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract