Bisimulation equivalence is decidable for context-free processes

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

48 Citationer (Scopus)
OriginalsprogEngelsk
TitelCONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings
RedaktørerW. Rance Cleaveland
Antal sider10
ForlagPhysica-Verlag
Publikationsdato1 jan. 1992
Sider138-147
ISBN (Trykt)9783540558224
StatusUdgivet - 1 jan. 1992
Begivenhed3rd International Conference on Concurrency Theory, CONCUR 1992 - Stony Brook, USA
Varighed: 24 aug. 199227 aug. 1992

Konference

Konference3rd International Conference on Concurrency Theory, CONCUR 1992
LandUSA
ByStony Brook
Periode24/08/199227/08/1992
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind630 LNCS
ISSN0302-9743

Citer dette

Christensen, S., Hüttel, H., & Stifling, C. (1992). Bisimulation equivalence is decidable for context-free processes. I W. R. Cleaveland (red.), CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings (s. 138-147). Physica-Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 630 LNCS
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 = "1",
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",

}

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 proceedingKonferenceartikel i proceedingForskningpeer 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

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).