@inproceedings{43e476abb263420795dea137be07459b,
title = "Actions speak louder than words: Proving bisimilarity for context-free processes",
abstract = "J. C. M. Baeten et al. (Lecture Notes in Computer Science, vol. 259, pp. 93-114, 1987) proved that bisimulation equivalence is decidable for irredundant context-free grammars. A much simpler and much more direct proof of this result is provided here. It uses a tableau decision method involving goal-directed rules. The decision procedure yields an upper bound on the depth of a tableau. Moreover, it provides the essential part of the bisimulation relation between two processes which underlies their equivalence. A second virtue is that it provides a sound and complete equational theory for such processes.",
author = "Hans Huttel and Colin Stirling",
year = "1991",
month = jul,
language = "English",
isbn = "081862230X",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "IEEE (Institute of Electrical and Electronics Engineers)",
pages = "376--386",
booktitle = "Proceedings - Symposium on Logic in Computer Science",
address = "United States",
note = "Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science ; Conference date: 15-07-1991 Through 18-07-1991",
}