Informace o projektu
Meze algoritmické verifikovatelnosti nekonečně stavových systémů
- Kód projektu
- GA201/97/0456
- Období řešení
- 1/1997 - 12/1999
- 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/GACR201970456.html
- Spolupracující organizace
-
Vysoká škola báňská - Technická univerzita v Ostravě
- Odpovědná osoba prof. RNDr. Petr Jančar, CSc.
The project is motivated by a live current research area concerning analysis and verification of complex (infinite state) concurrent systems It is the area of boundaries for algorithmic verification, where verification means checking equivalencies of sys tems, their temporal logic properties etc. Recently, several interesting results have been obtained in the given area, e.g. for calculi BPA, BPP, and Petri nets, to which also the grant of the Czech Grant Agency, No. 201/93/2123, has contributed. The ma
Publikace
Počet publikací: 28
2001
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2
-
Puzzles, mysteries and power of quantum entanglement
Rok: 2001, počet stran: 44 s.
2000
-
Effective Decomposability of Sequential Behaviours.
Theoretical Computer Science, rok: 2000, ročník: 242, vydání: 1-2
-
Quantum computing challenges
Maathematics unlimited, 2001 and beyond, vydání: Vyd. 1, rok: 2000, počet stran: 35 s.
-
Simulation and Bisimulation over One-Counter Processes
Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000
1999
-
A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
FI MU Report Series, rok: 1999, ročník: 1999, vydání: 08
-
A Logical Viewpoint on Process-Algebraic Quotients
Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), rok: 1999
-
Comparing Expressibility of Normed BPA and Normed BPP Processes.
Acta informatica, rok: 1999, ročník: 36, vydání: 3
-
Complexity Issues of the Pattern Equations in Idempotent Semigroups
Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 02
-
On the Pattern Equations
Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 01