KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000, p. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{345966, author = {Kučera, Antonín}, address = {Berlin, Heidelberg, New York}, booktitle = {Proceedings of 6th Asian Computing Science Conference (ASIAN 2000)}, keywords = {concurrency; simulation; temporal logics; one-counter automata}, language = {eng}, location = {Berlin, Heidelberg, New York}, isbn = {3-540-41428-2}, pages = {133-148}, publisher = {Springer}, title = {On Simulation-Checking with Sequential Systems}, year = {2000} }
TY - JOUR ID - 345966 AU - Kučera, Antonín PY - 2000 TI - On Simulation-Checking with Sequential Systems VL - Lecture Notes in Computer Science, vol. 1961 PB - Springer CY - Berlin, Heidelberg, New York SN - 3540414282 KW - concurrency KW - simulation KW - temporal logics KW - one-counter automata N2 - 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). ER -
KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In \textit{Proceedings of 6th Asian Computing Science Conference (ASIAN 2000)}. Berlin, Heidelberg, New York: Springer, 2000, p.~133-148. Lecture Notes in Computer Science, vol. 1961. ISBN~3-540-41428-2.
|