D 2000

Simulation and Bisimulation over One-Counter Processes

JANČAR, Petr, Antonín KUČERA a Faron MOLLER

Základní údaje

Originální název

Simulation and Bisimulation over One-Counter Processes

Autoři

JANČAR, Petr, Antonín KUČERA a Faron MOLLER
H. Reichel, S. Tison (Eds.).

Vydání

Berlin, Heidelberg, New York, Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), s. 334-345, Lecture Notes in Computer Science, vol. 1770, 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:00002192

Organizační jednotka

Fakulta informatiky

ISBN

3-540-67141-2

UT WoS

000166852700028

Klíčová slova anglicky

concurrency; bisimulation; simulation; one-counter automata

Štítky

Změněno: 19. 2. 2000 10:30, prof. RNDr. Antonín Kučera, Ph.D.

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/97/0456, projekt VaV
Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavový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ů