Efficient Verification Algorithms for One-Counter Processes

KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1.

Základní údaje

Originální název

Efficient Verification Algorithms for One-Counter Processes

Autoři

KUČERA, Antonín
U. Montanari, J.D.P. Rolim, E. Welzl (Eds.).

Vydání

Berlin, Heidelberg, New York, Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), s. 317-328, Lecture Notes in Computer Science, vol. 1853, 2000

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/00:00002264

Organizační jednotka

Fakulta informatiky

ISBN

3-540-67715-1

UT WoS

000089738700028

Klíčová slova anglicky

concurrency; bisimulation; one-counter automata

Štítky

bisimulation, concurrency, one-counter automata

---

Návaznosti

GA201/00/0400, projekt VaV	Název: Nekonečně stavové souběžné systémy - modely a verifikace Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
GA201/98/P046, projekt VaV	Název: Rozhodnutelné problémy v algebrách procesů Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů
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ů