Undecidable equivalences for basic process algebra

Jan Friso Groote, Hans Hüttel

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

38 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind115
Udgave nummer2
Sider (fra-til)354-371
Antal sider18
ISSN0890-5401
DOI
StatusUdgivet - dec. 1994

Fingeraftryk Dyk ned i forskningsemnerne om 'Undecidable equivalences for basic process algebra'. Sammen danner de et unikt fingeraftryk.

Citationsformater