Comparing the Classes BPA and BPA with Deadlocks

Logo poskytovatele

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:

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

Další info