Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.

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

KUČERA Antonín

Rok publikování 1996
Druh Článek ve sborníku
Konference Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Počítačový hardware a software
Klíčová slova concurrency; bisimilarity; regularity
Související projekty:

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