Undecidable Equivalences for Basic Process Algebra

Jan Friso Groote; Hans Hüttel

doi:10.1006/inco.1994.1101

Undecidable Equivalences for Basic Process Algebra

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

Original language	English
Article number	2
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 - 1994

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

10.1006/inco.1994.1101

https://dblp.org/db/journals/iandc/iandc115.html#GrooteH94

Cite this

@article{8e985f5c36434053a799df4366d9f6ad,

title = "Undecidable Equivalences for Basic Process Algebra",

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

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "1994",

doi = "10.1006/inco.1994.1101",

language = "English",

volume = "115",

pages = "354--371",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Undecidable Equivalences for Basic Process Algebra

AU - Groote, Jan Friso

AU - Hüttel, Hans

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 1994

Y1 - 1994

U2 - 10.1006/inco.1994.1101

DO - 10.1006/inco.1994.1101

M3 - Article

SN - 0890-5401

VL - 115

SP - 354

EP - 371

JO - Information and Computation

JF - Information and Computation

IS - 2

M1 - 2

ER -