Simulation and Bisimulation over One-Counter Processes

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.

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

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