Undecidable equivalences for basic parallel processes

Hans Hüttel*, Naoki Kobayashi, Takashi Suto

*Corresponding author

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume207
Issue number7
Pages (from-to)812-829
Number of pages18
ISSN0890-5401
DOIs
Publication statusPublished - 1 Jul 2009

    Fingerprint

Cite this