BENEŠ, Nikola, Ivana ČERNÁ a Filip ŠTEFAŇÁK. Factorization for Component-Interaction Automata. In SOFSEM 2012: Theory and Practice of Computer Science. Berlin Heidelberg: Springer Berlin Heidelberg, 2012. s. 554-565. ISBN 978-3-642-27659-0. doi:10.1007/978-3-642-27660-6_45.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Factorization for Component-Interaction Automata
Autoři BENEŠ, Nikola (203 Česká republika, garant, domácí), Ivana ČERNÁ (203 Česká republika, domácí) a Filip ŠTEFAŇÁK (703 Slovensko, domácí).
Vydání Berlin Heidelberg, SOFSEM 2012: Theory and Practice of Computer Science, od s. 554-565, 12 s. 2012.
Nakladatel Springer Berlin Heidelberg
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/12:00057931
Organizační jednotka Fakulta informatiky
ISBN 978-3-642-27659-0
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-642-27660-6_45
UT WoS 000307258500045
Klíčová slova anglicky factorization; component-interaction automata; synthesis; quotient
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 5. 5. 2013 09:49.
Anotace
Component-interaction automata is a verification oriented formalism devised to be general enough to capture important aspects of component interaction in various kinds of component systems. A factorization problem naturally arises in formalisms that are based on composition. In general, the factorization problem may be presented as finding a solution X to the equation M | X = S, where | is a composition and = a behavioural equivalence. In our framework, the equivalence is the weak bisimulation and composition is parametrized. We provide a solution for the factorization problem which is built on top of the approach of Qin and Lewis (CONCUR 1990).
Návaznosti
GAP202/11/0312, projekt VaVNázev: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification
GD102/09/H042, projekt VaVNázev: Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
Investor: Grantová agentura ČR, Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 26. 6. 2022 01:00