Approximating Bisimulation in One-counter Nets
One-counter nets are finite-state machines operating on a variable (counter) which ranges over the natural numbers. Every transition can increase or decrease the value of the counter (the decrease is possible only if the result is non-negative, hence zero-testing is not allowed). The class of one-co...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Yaroslavl State University
2011-12-01
|
| Seria: | Моделирование и анализ информационных систем |
| Hasła przedmiotowe: | |
| Dostęp online: | https://www.mais-journal.ru/jour/article/view/1096 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|