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. (en)
Projekt má za cíl přispět novými poznatky ke studiu konkurentních systémů, zejména v oblasti algoritmické rozhodnutelnosti problémů souvisejících s verifikací procesů s nekonečně mnoha stavy. Projekt tématicky navazuje na grantový projekt 201/97/0456, který byl řešen na pracovišti navrhovatele a v jehož rámci navrhovatel dosáhl řady původních a publikovaných výsledků. Hlavní směry navrhované výzkumné práce, které rozšiřují a prohlubují výsledky dosažené v rámci výše uvedeného projektu, lze shrnout takto: 1. Porovnání vyjadřovací síly různých algeber procesů, charakterizace %22sémantického průniku%22. 2. Testování sémantických ekvivalencí (zejména bisimulační ekvivalence) mezi procesy, které jsou popsány rozdílným typem syntaxe. 3. Testování regularityprocesů v širším smyslu, testování silné regularity a konstrukce konečné charakterizace. 4. Algoritmická paralelizace jistých tříd normovaných procesů. U navržených algoritmů bude rovněž analyzována jejich složitost a praktická použitelnost.
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 (cs)