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

Fingeraftryk Dyk ned i forskningsemnerne om 'Silence is golden: Branching bisimilarity is decidable for context-free processes'. Sammen danner de et unikt fingeraftryk.

Citationsformater