Undecidable equivalences for basic process algebra

Jan Friso Groote, Hans Hüttel

Research output: Contribution to journalJournal articleResearchpeer-review

38 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume115
Issue number2
Pages (from-to)354-371
Number of pages18
ISSN0890-5401
DOIs
Publication statusPublished - Dec 1994

    Fingerprint

Cite this