Simulation and Bisimulation over One-Counter Processes

• Authors: JANČAR Petr; KUČERA Antonín; MOLLER Faron
• Year of publication: 2000
• Type: Article in Proceedings
• Conference: Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000)
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: concurrency; bisimulation; simulation; one-counter automata

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Infinite state concurrent systems - models and verification
• (Un)decidable Problems in Process Algebras
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing