Actions speak louder than words: Proving bisimilarity for context-free processes (1991)

by H Hüttel, C Stirling
Venue:in: Proceedings of LICS’91