Bisimulation equivalence is decidable for context-free processes

Søren Christensen, Hans Hüttel, C. Stifling

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

48 Citations (Scopus)
Original languageEnglish
Title of host publicationCONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings
EditorsW. Rance Cleaveland
Number of pages10
PublisherPhysica-Verlag
Publication date1 Jan 1992
Pages138-147
ISBN (Print)9783540558224
Publication statusPublished - 1 Jan 1992
Event3rd International Conference on Concurrency Theory, CONCUR 1992 - Stony Brook, United States
Duration: 24 Aug 199227 Aug 1992

Conference

Conference3rd International Conference on Concurrency Theory, CONCUR 1992
CountryUnited States
CityStony Brook
Period24/08/199227/08/1992
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume630 LNCS
ISSN0302-9743

Cite this

Christensen, S., Hüttel, H., & Stifling, C. (1992). Bisimulation equivalence is decidable for context-free processes. In W. R. Cleaveland (Ed.), CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings (pp. 138-147). Physica-Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 630 LNCS