Deciding Regularity in Process Algebras

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