Rozhodnutelné problémy v algebrách procesů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Decidability Issues for process algebras

Anotace anglicky

The aim of the project is to bring new results in the theory of concurrent systems, especially in the area of verification of infinite-state systems. Main research priorities of the project can be summarized as follows: (1) An exact comparison of expressibility of various models for infinite-state systems. (2) Decidability and complexity of the equivalence-testing problem for processes which are defined in different types of syntax. (3) The problem of finite representation of infinite-state systems. Decidability of the regularity problem for infinite-state systems. (4) Effective parallelization of infinite-state processes.

Kategorie VaV

—

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Postup a metodika prací je v souladu se stanoveným záměrem. Výstupy grantu jsou publikace přijaté do prestižních časopisů a prezentované na vynikajících konferencích. Změny v čerpání finančních prostředků jsou lokálního charakteru a nemají vliv na celkov

Zahájení řešení

1. 1. 1998

Ukončení řešení

1. 1. 2000

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/2001/GA0/GA01GA/U/N/9:4

Datum dodání záznamu

—

Celkové uznané náklady

725 tis. Kč

Výše podpory ze státního rozpočtu

585 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč