Regularity is Decidable for Normed PA Processes in Polynomial Time

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	KUČERA Antonín
Rok publikování	1996
Druh	Článek ve sborníku
Konference	Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	concurrency; process algebras; bisimilarity; regularity
Související projekty:	Analýza konkurentních nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů