Informace o projektu
Analýza konkurentních nekonečně stavových systémů
- Kód projektu
- GA201/93/2123
- Období řešení
- 1/1993 - 1/1995
- 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/kretinsky/projects/GACR201932123.html
- Spolupracující organizace
-
Ostravská univerzita v Ostravě
- Odpovědná osoba prof. RNDr. Petr Jančar, CSc.
Analýza a verifikace vlastností konkurentních, konečně-stavových systémů je díky konečné množině stavů algoritmicky zvládnutelná, neboť ji lze provádět prohledáváním celého stavového prostoru procesu. Obecně jistě nelze očekávat, že vlastnosti nekonečně stavových problémů budou rozhodnutelné, avšak některé nejnovější výsledky jsou do značné míry překvapivé (např. rozhodnutelnost bisimulativní ekvivalence pro bezkontextové procesy) a nabízí celou řadu nových problémů. Návrh je zaměřen na studium otázek (ne)rozhodnutelnosti dalších tříd nekonečně stavových procesů a otázek (ne)rozhodnutelnosti dalších vlastností bezkontextových procesů. Současně se navrhuje zkoumat notaci, jež by umožnila vhodně reprezenovat nekonečné množiny stavů pro omezené třídy modelů (s pespektivním cílem tvorby experimentálního nástroje). Součástí návrhu je provedení analýzy typických případů procesů (case study) pomocí vhodného softwarového nástroje.
Publikace
Počet publikací: 16
1995
-
Deciding Regularity in Process Algebras
BRICS Report Series, rok: 1995, ročník: 1995, vydání: RS-95-52
-
New versions of Ask and Tell for synchronous communication in CCP
TR City University, U.K., rok: 1995, ročník: 1995, vydání: 10
-
Synchronisation in Scc
ILPS´95, rok: 1995, počet stran: 2 s.
1994
-
Modal mu-Calculus with Distances
Scripta Fac.Brun., rok: 1994, ročník: 1994, vydání: 23
-
On Synchronous Communication in Concurrent Constraint Programming
Technical Report of Namur University, rok: 1994, ročník: 1994, vydání: prelim.rep
1993
-
Operational semantics of concurrent logical systems.
ALP-UK Workshop on Cocurrency in Computational Logic, rok: 1993, počet stran: 6 s.