Bisimulation equivalence is decidable for all context-Free processes

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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

84 Citationer (Scopus)

Fingeraftryk

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

Computer Science