Undecidable equivalences for basic parallel processes

Hans Hüttel*, Naoki Kobayashi, Takashi Suto

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

4 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind207
Udgave nummer7
Sider (fra-til)812-829
Antal sider18
ISSN0890-5401
DOI
StatusUdgivet - 1 jul. 2009

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

Citationsformater