"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."@en . "V \u010Dl\u00E1nku je definov\u00E1na abstraktn\u00ED s\u00E9mantick\u00E1 ekvivalence, pro kterou je mo\u017En\u00E9 probl\u00E9m ekvivalence s dan\u00FDm kone\u010Dn\u011B-stavov\u00FDm procesem redukovat na probl\u00E9m ov\u011B\u0159en\u00ED platnosti formule jednoduch\u00E9 mod\u00E1ln\u00ED logiky. Aplikac\u00ED t\u00E9to metody je z\u00EDsk\u00E1na \u0159ada nov\u00FDch v\u00FDsledk\u016F o rozhodnutelnosti a slo\u017Eitosti probl\u00E9mu ov\u011B\u0159ov\u00E1n\u00ED s\u00E9mantick\u00FDch ekvivalenc\u00ED mezi nekone\u010Dn\u011B-stavov\u00FDmi a kone\u010Dn\u011B-stavov\u00FDmi procesy."@cs . "RIV/00216224:14330/04:00010252" . . "[98DFCDFEDC4E]" . . "RIV/00216224:14330/04:00010252!RIV08-MSM-14330___" . "371-386" . . "3-540-22940-X" . "A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications"@en . "Ku\u010Dera, Anton\u00EDn" . "Schnoebelen, Philippe" . . "Obecn\u00FD p\u0159\u00EDstup k s\u00E9mantick\u00E9mu porovn\u00E1v\u00E1n\u00ED nekone\u010Dn\u011B-stavov\u00FDch syst\u00E9m\u016F s jejich kone\u010Dn\u011B-stavov\u00FDmi specifikacemi"@cs . . "A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications" . . "A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications"@en . "A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications" . . . "Berlin" . "Springer-Verlag" . . "verification; semantic equivalences; infinite-state systems"@en . "552916" . "Obecn\u00FD p\u0159\u00EDstup k s\u00E9mantick\u00E9mu porovn\u00E1v\u00E1n\u00ED nekone\u010Dn\u011B-stavov\u00FDch syst\u00E9m\u016F s jejich kone\u010Dn\u011B-stavov\u00FDmi specifikacemi"@cs . . . "2004-01-01+01:00"^^ . "14330" . "P(GA201/03/1161), Z(MSM 143300001)" . . "August 31 - September 3, 2004, London, UK" . . . . "16"^^ . . . "1"^^ . . "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." . "Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)" . "2"^^ .