Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The paper presents a modification of the standard partitioning technique to generate abstract state spaces preserving similarity for Timed Automata. Since this relation is weaker than bisimilarity, most of the obtained models (state spaces) are smaller than bisimilar ones, but still preserve the universal fragments of branching time temporal logics. The theoretical results are exemplified for strong, delay, and observational simulation relations.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
59--89
Opis fizyczny
bibliogr. tab., wykr., bibliogr. 15 poz.
Twórcy
autor
autor
autor
- Institute of Computer Science, Polish Academy of Science, Ordona 21, 01-237 Warsaw, Poland, {piotrd,pencek}@ipipan.waw.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0004-0022