JANČAR, Petr, Antonín KUČERA and Faron MOLLER. Simulation and Bisimulation over One-Counter Processes. H. Reichel, S. Tison (Eds.). In Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000). Berlin, Heidelberg, New York: Springer, 2000. p. 334-345. Lecture Notes in Computer Science, vol. 1770. ISBN 3-540-67141-2.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Proceedings paper
Field of Study 20206 Computer hardware and architecture
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
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 bisimulation, concurrency, one-counter automata, simulation
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 19/2/2000 10:30.
Links
GA201/00/0400, research and development projectName: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Standard Projects
GA201/97/0456, research and development projectName: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Czech Science Foundation, Standard Projects
GA201/98/P046, research and development projectName: Rozhodnutelné problémy v algebrách procesů
Investor: Czech Science Foundation, Standard Projects
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, Research Intents
PrintDisplayed: 23/10/2020 03:08