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, 2004, s.~371-386. ISBN~3-540-22940-X.
|