D 2000

Simulation and Bisimulation over One-Counter Processes

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

Basic information

Original name

Simulation and Bisimulation over One-Counter Processes

Authors

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

Edition

Berlin, Heidelberg, New York, Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), p. 334-345, Lecture Notes in Computer Science, vol. 1770, 2000

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/00:00002192

Organization unit

Faculty of Informatics

ISBN

3-540-67141-2

UT WoS

000166852700028

Keywords in English

concurrency; bisimulation; simulation; one-counter automata

Tags

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

Links

GA201/00/0400, research and development project
Name: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification
GA201/97/0456, research and development project
Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Czech Science Foundation, Algorithmic Verification Boundaries for Infinite-State Systems
GA201/98/P046, research and development project
Name: Rozhodnutelné problémy v algebrách procesů
Investor: Czech Science Foundation, (Un)decidable Problems in Process Algebras
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing