Bisimulation equivalence is decidable for all context-Free processes

Søren Christensen, H. Hüttel, C. Stirling

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

80 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind121
Udgave nummer2
Sider (fra-til)143-148
Antal sider6
ISSN0890-5401
DOI
StatusUdgivet - sep. 1995

Fingeraftryk Dyk ned i forskningsemnerne om 'Bisimulation equivalence is decidable for all context-Free processes'. Sammen danner de et unikt fingeraftryk.

Citationsformater