KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000. s. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Simulation-Checking with Sequential Systems
Autoři KUČERA, Antonín.
Jifeng He, Masahiko Sato (Eds.).
Vydání Berlin, Heidelberg, New York, Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), s. 133-148, Lecture Notes in Computer Science, vol. 1961, 2000.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 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/00:00002734
Organizační jednotka Fakulta informatiky
ISBN 3-540-41428-2
UT WoS 000171236800011
Klíčová slova anglicky concurrency; simulation; temporal logics; one-counter automata
Štítky concurrency, one-counter automata, simulation, temporal logics
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 12. 3. 2001 15:43.
Anotace
We present new complexity results for simulation-checking and model-checking with infinite-state systems generated by pushdown automata and their proper subclasses of one-counter automata and one-counter nets (one-counter nets are "weak" one-counter automata computationally equivalent to Petri nets with at most one unbounded place).
Návaznosti
GA201/00/1023, projekt VaVNázev: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Standardní projekty
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
Investor: Grantová agentura ČR, Standardní projekty
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, Výzkumné záměry
VytisknoutZobrazeno: 23. 10. 2019 23:19