Bisimulation equivalence is decidable for all context-Free processes

Søren Christensen, H. Hüttel, C. Stirling

Research output: Contribution to journalJournal articleResearchpeer-review

80 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume121
Issue number2
Pages (from-to)143-148
Number of pages6
ISSN0890-5401
DOIs
Publication statusPublished - Sep 1995

Fingerprint Dive into the research topics of 'Bisimulation equivalence is decidable for all context-Free processes'. Together they form a unique fingerprint.

Cite this