𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of Bisimilarity for One-Counter Processes

✍ Scribed by Petr Jančar

Book ID
112252448
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
347 KB
Volume
158
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of bisimilarity-checking
The complexity of bisimilarity-checking for one-counter processes
✍ Antonı́n Kučera 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 376 KB

We study the problem of bisimilarity-checking between processes of one-counter automata and ÿnite-state processes. We show that deciding weak bisimilarity between processes of one-counter nets (which are 'restricted' one-counter automata where the counter cannot be tested for zero) and ÿnite-state p