A Logical Viewpoint on Process-Algebraic Quotients

Varování

Publikace nespadá pod Ekonomicko-správní 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ů