A short proof of the decidability of bisimulation for normed bpa-processes

Additional Metadata
Publisher	north-holland
Journal	Information Processing Letters
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F. (1992). A short proof of the decidability of bisimulation for normed bpa-processes. Information Processing Letters, 42(3), 167–171.

Additional Files
0207D.pdf Final Version , 749kb
Publisher Version

Publication