Actions speak louder than words: Proving bisimilarity for context-free processes

Hans Hüttel*, Colin Stirling

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

12 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftJournal of Logic and Computation
Vol/bind8
Udgave nummer4
Sider (fra-til)485-509
Antal sider25
ISSN0955-792X
DOI
StatusUdgivet - aug. 1998

Fingeraftryk Dyk ned i forskningsemnerne om 'Actions speak louder than words: Proving bisimilarity for context-free processes'. Sammen danner de et unikt fingeraftryk.

Citationsformater