A Logical Viewpoint on Process-Algebraic Quotients

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:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů