Comparing the Classes BPA and BPA with Deadlocks

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	SRBA Jiří
Rok publikování	1998
Druh	Článek v odborném periodiku
Časopis / Zdroj	Technical report, Faculty of Informatics, Masaryk University, Brno
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.fi.muni.cz/informatics/reports/abstract/FIMU-RS-98-05.html
Obor	Teorie informace
Klíčová slova	process algebra; deadlock; bisimulation
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ů