D 2000

On Simulation-Checking with Sequential Systems

KUČERA, Antonín

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

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: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

Změněno: 12. 3. 2001 15:43, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

V originále

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 VaV
Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
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ů