A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.

Jan Friso Groote

doi:10.1016/0020-0190(92)90142-I

A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.

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

Original language	English
Article number	3
Pages (from-to)	167-171
Number of pages	5
Journal	Information Processing Letters
Volume	42
Issue number	3
DOIs	https://doi.org/10.1016/0020-0190(92)90142-I
Publication status	Published - 1992

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.1016/0020-0190(92)90142-I

https://dblp.org/db/journals/ipl/ipl42.html#Groote92

Cite this

@article{686d43b569b043e3a4c5b56f0b2b7610,

title = "A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.",

author = "Groote, {Jan Friso}",

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 = "1992",

doi = "10.1016/0020-0190(92)90142-I",

language = "English",

volume = "42",

pages = "167--171",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.

AU - Groote, Jan Friso

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 - 1992

Y1 - 1992

U2 - 10.1016/0020-0190(92)90142-I

DO - 10.1016/0020-0190(92)90142-I

M3 - Article

SN - 0020-0190

VL - 42

SP - 167

EP - 171

JO - Information Processing Letters

JF - Information Processing Letters

IS - 3

M1 - 3

ER -