Disertační práce
Získaná ocenění: Ocenění děkana FI za vynikající disertační práci

On Extensions of Process Rewrite Systems

RNDr. Vojtěch Řehák, učo 3721
Anotace

Disertační práce je zaměřena na vlastnosti procesových přepisovacích systémů (PRS) a jejich rozšíření. Práce představuje nové rozšíření hierarchie procesových přepisovacích systémů o slabou konečně stavovou jednotkou (wPRS) a porovnává vyjadřovací sílu těchto tříd s dosud známými rozšířeními. Dále práce studuje hranice rozhodnutelnosti zajímavých problémů vztahujících se k ověřování vlastností modelů …více

Abstract

The thesis studies properties of Process Rewrite Systems (PRS) and their extensions. Namely, it introduces an extension of PRS, so called weakly extended Process Rewrite Systems (wPRS). This work compares the expressiveness of wPRS with original PRS classes and their known extensions. In addition, it studies decidability of problems related to model checking and other formal verification procedures …více

Klíčová slova
Concurrency theory Models of infinite state processes Process rewrite systems model checking bisimulation
Administrativní informace
Práce zkontrolována:
11. 10. 2008 12:53, (IS automaticky)
Plný text práce
2,8 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 4. 2007
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Mojmír Křetínský, CSc., učo 631
KTP FI MU

Oponenti

Autor posudku dosud neidentifikován.
Autor posudku dosud neidentifikován.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.