Undecidable Equivalences for Basic Process Algebra

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	354-371
Number of pages	18
Journal	Information and Computation
Volume	115
Issue number	2
DOIs	https://doi.org/10.1006/inco.1994.1101
Publication status	Published - Dec 1994
Externally published	Yes

Access to Document

@article{8e985f5c36434053a799df4366d9f6ad,

title = "Undecidable Equivalences for Basic Process Algebra",

author = "Groote, \{Jan Friso\} and Hans H{\"u}ttel",

year = "1994",

month = dec,

doi = "10.1006/inco.1994.1101",

language = "English",

volume = "115",

pages = "354--371",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "2",

}