Informace o publikaci
On Simulation-Checking with Sequential Systems
| Autoři | |
|---|---|
| Rok publikování | 2000 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 6th Asian Computing Science Conference (ASIAN 2000) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Počítačový hardware a software |
| Klíčová slova | concurrency; simulation; temporal logics; one-counter automata |
| Popis | We present new complexity results for simulation-checking and model-checking with infinite-state systems generated by pushdown automata and their proper subclasses of one-counter automata and one-counter nets (one-counter nets are "weak" one-counter automata computationally equivalent to Petri nets with at most one unbounded place). |
| Související projekty: |