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)

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

Matematik

Teknik og materialevidenskab