Comparing the Classes BPA and BPA with Deadlocks

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.