Informace o publikaci

Simulation Preorder on Simple Process Algebras

Logo poskytovatele
Autoři

KUČERA Antonín RICHARD Mayr

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

Fakulta informatiky

Citace
Obor Počítačový hardware a software
Klíčová slova process algebras; weak bisimilarity; finite-state systems
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