A Logical Viewpoint on Process-Algebraic Quotients

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

KUČERA Antonín ESPARZA Javier

Rok publikování 1999
Druh Článek ve sborníku
Konference Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Počítačový hardware a software
Klíčová slova verification; concurrency; logic; process descriptions
Související projekty:

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