Informace o projektu
Rozhodnutelné problémy v algebrách procesů
- Kód projektu
- GA201/98/P046
- Období řešení
- 1/1998 - 12/2000
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- WWW stránky projektu
- http://www.fi.muni.cz/usr/kucera/projects/GACR-201-98-P046.html.cz
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.
Publikace
Počet publikací: 15
2001
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2
-
Model-Checking LTL with Regular Valuations for Pushdown Systems
Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), rok: 2001
2000
-
Effective Decomposability of Sequential Behaviours.
Theoretical Computer Science, rok: 2000, ročník: 242, vydání: 1-2
-
Efficient Verification Algorithms for One-Counter Processes
Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), rok: 2000
-
On Simulation-Checking with Sequential Systems
Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), rok: 2000
-
Simulation and Bisimulation over One-Counter Processes
Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000
1999
-
Comparing Expressibility of Normed BPA and Normed BPP Processes.
Acta informatica, rok: 1999, ročník: 36, vydání: 3
-
On Finite Representations of Infinite-State Behaviours.
Information Processing Letters, rok: 1999, ročník: 70, vydání: 1
-
Regularity of normed PA processes
Information Processing Letters, rok: 1999, ročník: 72, vydání: 1-2
-
Simulation Preorder on Simple Process Algebras
Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), rok: 1999