Comparing Expressibility of Normed BPA and Normed BPP Processes

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín
Rok publikování	1996
Druh	Článek v odborném periodiku
Časopis / Zdroj	FI MU Report Series
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	process algebras; bisimilarity;
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ů