Bisimulation equivalence is decidable for context-free processes

Søren Christensen; Hans Hüttel; C.  Stifling

Bisimulation equivalence is decidable for context-free processes

Søren Christensen, Hans Hüttel, C. Stifling

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

48 Citations (Scopus)

Original language	English
Title of host publication	CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings
Editors	W. Rance Cleaveland
Number of pages	10
Publisher	Physica-Verlag
Publication date	1 Jan 1992
Pages	138-147
ISBN (Print)	9783540558224
Publication status	Published - 1 Jan 1992
Event	3rd International Conference on Concurrency Theory, CONCUR 1992 - Stony Brook, United States Duration: 24 Aug 1992 → 27 Aug 1992

Conference

Conference	3rd International Conference on Concurrency Theory, CONCUR 1992
Country/Territory	United States
City	Stony Brook
Period	24/08/1992 → 27/08/1992

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	630 LNCS
ISSN	0302-9743

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Christensen, Søren ; Hüttel, Hans ; Stifling, C. . / Bisimulation equivalence is decidable for context-free processes. CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. editor / W. Rance Cleaveland. Physica-Verlag, 1992. pp. 138-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

@inproceedings{71b7f26fd71446b3b6c0e438982db3eb,

title = "Bisimulation equivalence is decidable for context-free processes",

author = "S{\o}ren Christensen and Hans H{\"u}ttel and C. Stifling",

year = "1992",

month = jan,

day = "1",

language = "English",

isbn = "9783540558224",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Physica-Verlag",

pages = "138--147",

editor = "Cleaveland, {W. Rance}",

booktitle = "CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings",

note = "3rd International Conference on Concurrency Theory, CONCUR 1992 ; Conference date: 24-08-1992 Through 27-08-1992",

}

Christensen, S, Hüttel, H & Stifling, C 1992, Bisimulation equivalence is decidable for context-free processes. in WR Cleaveland (ed.), CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Physica-Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 630 LNCS, pp. 138-147, 3rd International Conference on Concurrency Theory, CONCUR 1992, Stony Brook, United States, 24/08/1992.

Bisimulation equivalence is decidable for context-free processes. / Christensen, Søren; Hüttel, Hans; Stifling, C. .
CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. ed. / W. Rance Cleaveland. Physica-Verlag, 1992. p. 138-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Bisimulation equivalence is decidable for context-free processes

AU - Christensen, Søren

AU - Hüttel, Hans

AU - Stifling, C.

PY - 1992/1/1

Y1 - 1992/1/1

UR - http://www.scopus.com/inward/record.url?scp=85029659488&partnerID=8YFLogxK

M3 - Article in proceeding

AN - SCOPUS:85029659488

SN - 9783540558224

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 138

EP - 147

BT - CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings

A2 - Cleaveland, W. Rance

PB - Physica-Verlag

T2 - 3rd International Conference on Concurrency Theory, CONCUR 1992

Y2 - 24 August 1992 through 27 August 1992

ER -

Christensen S, Hüttel H, Stifling C. Bisimulation equivalence is decidable for context-free processes. In Cleaveland WR, editor, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Physica-Verlag. 1992. p. 138-147. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

Bisimulation equivalence is decidable for context-free processes

Conference

AUB Link

Other files and links

Cite this