Process Algebra for Modal Transition Systemses (2011)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/11:00049987 |
|---|---|
| Název v anglickém jazyce | Process Algebra for Modal Transition Systemses |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 2 |
| Počet domácích tvůrců | 2 |
| Výčet všech uvedených jednotlivých tvůrců | Nikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587) Jan Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3503054) |
| Popis výsledku v anglickém jazyce | The formalism of modal transition systems (MTS) is a well established framework for systems specification as well as abstract interpretation. Nevertheless, due to incapability to capture some useful features, various extensions have been studied, such ase.g. mixed transition systems or disjunctive MTS. Thus a need to compare them has emerged. Therefore, we introduce transition system with obligations as a general model encompassing all the aforementioned models, and equip it with a process algebra description. Using these instruments, we then compare the previously studied subclasses and characterize their relationships. |
| Klíčová slova oddělená středníkem | modal transition systems; process algebra; specification |
| Stránka www, na které se nachází výsledek | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers |
|---|---|
| ISBN | 978-3-939897-22-4 |
| ISSN | 2190-6807 |
| Počet stran výsledku | 10 |
| Strana od-do | 9-18 |
| Název nakladatele | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
| Místo vydání | Dagstuhl, Germany |
| Místo konání akce | Mikulov |
| Datum konání akce | 2011 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2012 |
| Specifikace | RIV/00216224:14330/11:00049987!RIV12-GA0-14330___ |
| Datum poslední aktualizace výsledku | 18.05.2012 |
| Kontrolní číslo | 13406647 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno MŠMT v roce 2012 | RIV/00216224:14330/11:00049987 v dodávce dat RIV12-MSM-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GD | GD102/09/H042 - 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ů (2009 - 2012) |
|---|---|
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
| Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |