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. Online. 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. [citováno 2024-04-23]

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

• Originální 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ů