@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
}

{"_id":"Fd6imF3Av5EpHzWT4","bibbaseid":"christensen-httel-stirling-bisimulationequivalenceisdecidableforallcontextfreeprocesses-1992","author_short":["Christensen, S.","Hüttel, H.","Stirling, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Christensen"],"firstnames":["Søren"],"suffixes":[]},{"propositions":[],"lastnames":["Hüttel"],"firstnames":["Hans"],"suffixes":[]},{"propositions":[],"lastnames":["Stirling"],"firstnames":["Colin"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21050837964be23ef982699ad102140f1/dblp","booktitle":"CONCUR","crossref":"conf/concur/1992","editor":[{"propositions":[],"lastnames":["Cleaveland"],"firstnames":["Rance"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/concur/ChristensenHS92,\n added-at = {2017-05-20T00:00:00.000+0200},\n author = {Christensen, Søren and Hüttel, Hans and Stirling, Colin},\n biburl = {https://www.bibsonomy.org/bibtex/21050837964be23ef982699ad102140f1/dblp},\n booktitle = {CONCUR},\n crossref = {conf/concur/1992},\n editor = {Cleaveland, Rance},\n ee = {https://doi.org/10.1007/BFb0084788},\n interhash = {9f3a97e1a28ee9584f0233c581818114},\n intrahash = {1050837964be23ef982699ad102140f1},\n isbn = {3-540-55822-5},\n keywords = {dblp},\n pages = {138-147},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T13:57:47.000+0200},\n title = {Bisimulation Equivalence is Decidable for all Context-Free Processes.},\n url = {http://dblp.uni-trier.de/db/conf/concur/concur1992.html#ChristensenHS92},\n volume = 630,\n year = 1992\n}\n\n","author_short":["Christensen, S.","Hüttel, H.","Stirling, C."],"editor_short":["Cleaveland, R."],"key":"conf/concur/ChristensenHS92","id":"conf/concur/ChristensenHS92","bibbaseid":"christensen-httel-stirling-bisimulationequivalenceisdecidableforallcontextfreeprocesses-1992","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0084788","Paper":"http://dblp.uni-trier.de/db/conf/concur/concur1992.html#ChristensenHS92"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Stirling?items=1000","dataSources":["xbHk4ys6w3mB43db3"],"keywords":["dblp"],"search_terms":["bisimulation","equivalence","decidable","context","free","processes","christensen","hüttel","stirling"],"title":"Bisimulation Equivalence is Decidable for all Context-Free Processes.","year":1992}