Informace o projektu
Rozhodnutelné problémy v algebrách procesů
| Kód projektu | GA201/98/P046 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.1998–31.12.2000 |
| Stav | ukončený |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Anotace je dostupná pouze v anglickém jazyce.
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 express ibility 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. Dec idability of the regularity problem for infinite-state systems. (4) Effective parallelization of infinite-state processes.