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

44 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

Citationsformater