KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer. s. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6. 1999.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název A Logical Viewpoint on Process-Algebraic Quotients
Autoři KUČERA, Antonín a Javier ESPARZA.
J. Flum, M. Rodríguez-Artalejo (Eds.).
Vydání Berlin, Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), s. 499-514, Lecture Notes in Computer Science, vol. 1683, 1999.
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/99:00001125
Organizační jednotka Fakulta informatiky
ISBN 3-540-66536-6
UT WoS 000170515700034
Klíčová slova anglicky verification; concurrency; logic; process descriptions
Štítky concurrency, logic, process descriptions, verification
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:35.
Návaznosti
GA201/97/0456, projekt VaVNázev: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti 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: 28. 3. 2024 09:25