Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{557411,
author = {Kučera, Antonín and Schnoebelen, Philippe},
address = {Berlin},
booktitle = {Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)},
keywords = {verification; semantic equivalences; infinite-state systems},
language = {eng},
location = {Berlin},
isbn = {3-540-22940-X},
pages = {371-386},
publisher = {Springer},
title = {A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications},
year = {2004}
}
TY - JOUR
ID - 557411
AU - Kučera, Antonín - Schnoebelen, Philippe
PY - 2004
TI - A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
PB - Springer
CY - Berlin
SN - 354022940X
KW - verification
KW - semantic equivalences
KW - infinite-state systems
N2 - We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model checking problem against simple modal formulae. As an application, we derive decidability of several regular equivalence problems for well-known families of infinite-state systems.
ER -
KUČERA, Antonín a Philippe SCHNOEBELEN. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. P. Gardner, N. Yoshida (Eds.). In \textit{Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)}. Berlin: Springer. s.~371-386. ISBN~3-540-22940-X. 2004.
|
