Informace o publikaci

Deciding Regularity in Process Algebras

Logo poskytovatele
Autoři

KUČERA Antonín

Rok publikování 1995
Druh Článek v odborném periodiku
Časopis / Zdroj BRICS Report Series
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Počítačový hardware a software
Klíčová slova process algebras; regularity; behavioural equivalences
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info