Silence is golden: Branching bisimilarity is decidable for context-free processes

Hans Hüttel*

*Kontaktforfatter

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

8 Citationer (Scopus)
OriginalsprogEngelsk
TitelComputer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings
RedaktørerKim G. Larsen, Arne Skou
Antal sider11
ForlagPhysica-Verlag
Publikationsdato1991
Sider2-12
ISBN (Trykt)9783540551799
DOI
StatusUdgivet - 1991
Begivenhed3rd International Workshop on Computer Aided Verification, CAV 1991 - Aalborg, Danmark
Varighed: 1 jul. 19914 jul. 1991

Konference

Konference3rd International Workshop on Computer Aided Verification, CAV 1991
LandDanmark
ByAalborg
Periode01/07/199104/07/1991
SponsorDen Humanistiske Fakultet, Danish National Research Council
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind575 LNCS
ISSN0302-9743

Fingerprint

Bisimulation
Decidability
Branching
Equivalence
Class
Context

Citer dette

Hüttel, H. (1991). Silence is golden: Branching bisimilarity is decidable for context-free processes. I K. G. Larsen, & A. Skou (red.), Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings (s. 2-12). Physica-Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 575 LNCS https://doi.org/10.1007/3-540-55179-4_2
Hüttel, Hans. / Silence is golden : Branching bisimilarity is decidable for context-free processes. Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. red. / Kim G. Larsen ; Arne Skou. Physica-Verlag, 1991. s. 2-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).
@inproceedings{2cb70984e82d496bb1dfbf7d98b1a073,
title = "Silence is golden: Branching bisimilarity is decidable for context-free processes",
author = "Hans H{\"u}ttel",
year = "1991",
doi = "10.1007/3-540-55179-4_2",
language = "English",
isbn = "9783540551799",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Physica-Verlag",
pages = "2--12",
editor = "Larsen, {Kim G.} and Arne Skou",
booktitle = "Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings",

}

Hüttel, H 1991, Silence is golden: Branching bisimilarity is decidable for context-free processes. i KG Larsen & A Skou (red), Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Physica-Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 575 LNCS, s. 2-12, 3rd International Workshop on Computer Aided Verification, CAV 1991, Aalborg, Danmark, 01/07/1991. https://doi.org/10.1007/3-540-55179-4_2

Silence is golden : Branching bisimilarity is decidable for context-free processes. / Hüttel, Hans.

Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. red. / Kim G. Larsen; Arne Skou. Physica-Verlag, 1991. s. 2-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

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

TY - GEN

T1 - Silence is golden

T2 - Branching bisimilarity is decidable for context-free processes

AU - Hüttel, Hans

PY - 1991

Y1 - 1991

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

U2 - 10.1007/3-540-55179-4_2

DO - 10.1007/3-540-55179-4_2

M3 - Article in proceeding

AN - SCOPUS:11544270415

SN - 9783540551799

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

SP - 2

EP - 12

BT - Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings

A2 - Larsen, Kim G.

A2 - Skou, Arne

PB - Physica-Verlag

ER -

Hüttel H. Silence is golden: Branching bisimilarity is decidable for context-free processes. I Larsen KG, Skou A, red., Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Physica-Verlag. 1991. s. 2-12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS). https://doi.org/10.1007/3-540-55179-4_2