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. s. 111-122. Lecture Notes in Computer Science, vol. 1180. ISBN 3-540-62034-6. 1996.
Další formáty:   BibTeX LaTeX RIS
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
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: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
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:32.
Návaznosti
GA201/93/2123, projekt VaVNá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ěrNá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ů
VytisknoutZobrazeno: 23. 4. 2024 08:48