Regularity is Decidable for Normed PA Processes in Polynomial Time

KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. V. Chandru, V. Vinay (Eds.). In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96). Berlin: Springer, 1996, s. 111-122. Lecture Notes in Computer Science, vol. 1180. ISBN 3-540-62034-6.

Základní údaje

Originální název

Regularity is Decidable for Normed PA Processes in Polynomial Time

Autoři

KUČERA, Antonín
V. Chandru, V. Vinay (Eds.).

Vydání

Berlin, Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96), s. 111-122, Lecture Notes in Computer Science, vol. 1180, 1996

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/96:00000074

Organizační jednotka

Fakulta informatiky

ISBN

3-540-62034-6

Klíčová slova anglicky

concurrency; process algebras; bisimilarity; regularity

Štítky

bisimilarity, concurrency, process algebras, regularity

---

Návaznosti

GA201/93/2123, projekt VaV	Název: Analýza konkurentních nekonečně stavových systémů Investor: Grantová agentura ČR, Analýza konkurentních nekonečně stavových systémů
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů