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

KUČERA, Antonín. Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. K.G. Jeffery, J. Král, M. Bartošek (Eds.). In Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96). Berlin: Springer, 1996, s. 377-384. Lecture Notes in Computer Science, vol. 1175. ISBN 3-540-61994-1.

Základní údaje

Originální název

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

Autoři

KUČERA, Antonín
K.G. Jeffery, J. Král, M. Bartošek (Eds.).

Vydání

Berlin, Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96), s. 377-384, Lecture Notes in Computer Science, vol. 1175, 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:00000073

Organizační jednotka

Fakulta informatiky

ISBN

3-540-61994-1

Klíčová slova anglicky

concurrency; bisimilarity; regularity

Štítky

bisimilarity, concurrency, 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ů