Comparing the Classes BPA and BPA with Deadlocks

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	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ů