Informace o projektu
Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
- Kód projektu
- GA201/99/D026
- Období řešení
- 9/1999 - 8/2002
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- Mgr. Jitka Stříbrná, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- WWW stránky projektu
- http://www.fi.muni.cz/usr/stribrna/js-D026.html
Projekt si klade za cíl přispět novými poznatky ke studiu souběžných systémů, zejména v oblasti algoritmické rozhodnutelnosti problémů souvisejících s verifikací procesů s nekonečně mnoha stavy. Hlavním problémem, na který se chceme zaměřit, je testování jistých observačních ekvivalencí na potenciálně nekonečně stavových procesech. Konkrétně chceme zkoumat silnou a slabou bisimulační ekvivalenci na různých algebrách procesů, především BPA a BPPA, a jejich nadtřídách PDA, PDDA, z hlediska rozhodnutelnosti a algoritmické optimálnosti eventuálních rozhodovacích procedur. Pro silnou bisimulaci chceme zjistit, zda existují efektivní (polynomiální) rozhodovací algoritmy pro tyto algebry. V případě slabé bisimulace chceme zkoumat, zda je vůbec rozhodnutelná na těchto třídách procesů.
Publikace
Počet publikací: 4
2002
-
Modifications of Expansion Trees for Weak Bisimulation in BPA
Verification of Infinite-State Systems Infinity'2002, rok: 2002
2000
-
Some Remarks on Weak Bisimilarity of BPA-Processes
Rok: 2000, počet stran: 26 s.
1999
-
Approximating Weak Bisimulation on Basic Process Algebras
Mathematical Foundations of Computer Science 1999, Proceedings, rok: 1999
-
Approximating Weak Bisimulation on Basic Process Algebras
Rok: 1999, počet stran: 18 s.