D 2010

Process Algebra for Modal Transition Systemses

BENEŠ, Nikola a Jan KŘETÍNSKÝ

Základní údaje

Originální název

Process Algebra for Modal Transition Systemses

Autoři

BENEŠ, Nikola (203 Česká republika, garant, domácí) a Jan KŘETÍNSKÝ (203 Česká republika, domácí)

Vydání

Brno, MEMICS 2010, od s. 20-27, 8 s. 2010

Nakladatel

NOVPRESS s.r.o.

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Kód RIV

RIV/00216224:14330/10:00045259

Organizační jednotka

Fakulta informatiky

ISBN

978-80-87342-10-7

Klíčová slova anglicky

modal transition systems; process algebra; refinement

Příznaky

Mezinárodní význam, Recenzováno

Anotace

V originále

Abstract. 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 as e.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.

Návaznosti

GD102/09/H042, projekt VaV
Ná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ů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
MUNI/A/0914/2009, interní kód MU
Ná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