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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

48 Citationer (Scopus)

Originalsprog	Engelsk
Titel	CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings
Redaktører	W. Rance Cleaveland
Antal sider	10
Forlag	Physica-Verlag
Publikationsdato	1 jan. 1992
Sider	138-147
ISBN (Trykt)	9783540558224
Status	Udgivet - 1 jan. 1992
Begivenhed	3rd International Conference on Concurrency Theory, CONCUR 1992 - Stony Brook, USA Varighed: 24 aug. 1992 → 27 aug. 1992

Konference

Konference	3rd International Conference on Concurrency Theory, CONCUR 1992
Land/Område	USA
By	Stony Brook
Periode	24/08/1992 → 27/08/1992

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	630 LNCS
ISSN	0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

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

Citationsformater

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. red. / W. Rance Cleaveland. Physica-Verlag, 1992. s. 138-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 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. i WR Cleaveland (red.), 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), bind 630 LNCS, s. 138-147, 3rd International Conference on Concurrency Theory, CONCUR 1992, Stony Brook, USA, 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. red. / W. Rance Cleaveland. Physica-Verlag, 1992. s. 138-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. I Cleaveland WR, red., CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Physica-Verlag. 1992. s. 138-147. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).