Další formáty:
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. s.~133-148. Lecture Notes in Computer Science, vol. 1961. ISBN~3-540-41428-2. 2000.
|
