Bisimulation Equivalence is Decidable for all Context-Free Processes. Christensen, S., Hüttel, H., & Stirling, C. In CONCUR, volume 630, of Lecture Notes in Computer Science, pages 138-147, 1992. Springer.
Bisimulation Equivalence is Decidable for all Context-Free Processes. [link]Link  Bisimulation Equivalence is Decidable for all Context-Free Processes. [link]Paper  bibtex   
@inproceedings{conf/concur/ChristensenHS92,
  added-at = {2017-05-20T00:00:00.000+0200},
  author = {Christensen, Søren and Hüttel, Hans and Stirling, Colin},
  biburl = {https://www.bibsonomy.org/bibtex/21050837964be23ef982699ad102140f1/dblp},
  booktitle = {CONCUR},
  crossref = {conf/concur/1992},
  editor = {Cleaveland, Rance},
  ee = {https://doi.org/10.1007/BFb0084788},
  interhash = {9f3a97e1a28ee9584f0233c581818114},
  intrahash = {1050837964be23ef982699ad102140f1},
  isbn = {3-540-55822-5},
  keywords = {dblp},
  pages = {138-147},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T13:57:47.000+0200},
  title = {Bisimulation Equivalence is Decidable for all Context-Free Processes.},
  url = {http://dblp.uni-trier.de/db/conf/concur/concur1992.html#ChristensenHS92},
  volume = 630,
  year = 1992
}

Downloads: 0