Informace o projektu
Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
- Kód projektu
- MSM 143300001
- Období řešení
- 1/1999 - 12/2004
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumné záměry
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- concurrency;process algebras; infinite state systems; real-time; modal and temporal logics;concurrent constraint systems;specification;verification;quantum algorithms and protocols;entanglement;quantum finite and cellular automata;design methodologies
Cíl: Význam nesekvenčních modelů výpočetních procesů vzrůstá jak z hlediska teoretického, tak praktického. Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů. Obsah: Analýza modelů souběžných procesů a jejich vzájemných vztahů s důrazem na algoritmické a složitostní aspekty. Analýza modelů a návrh specifikačních a transformačních nástrojů pro souběžné systémy pracující v reálném čase s důrazem na tzv. safety-critical systémy. Logiky, zejména temporální a modální, pro specifikaci a analýzu souběžných systémů. Návrh a analýza kvantových algoritmů a vývoj metod pro návrh kvantových algoritmů a protokolů, jakož i kvantových konečných automatů a celulárních automatů.
Výsledky
Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů.
Publikace
Počet publikací: 265
2002
-
Using Assumptions to Distribute CTL Model Checking
1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), rok: 2002
-
Using Assumptions to Distribute CTL Model Checking
Rok: 2002
-
Using verified property to partition the state space in LTL model-checking
F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes, rok: 2002
-
Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
Theoretical Computer Science, rok: 2002, ročník: 270, vydání: 1-2
-
Why is Simulation Harder Than Bisimulation?
Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002), rok: 2002
-
YAHODA: verification tools database
Proceedings of Tools Day, rok: 2002
2001
-
`The no-signaling condition and quantum dynamics
Physical Review Letters, rok: 2001, ročník: 87, vydání: 17
-
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
Rok: 2001, počet stran: 13 s.
-
Basic Process Algebra with Deadlocking States
Theoretical Computer Science, rok: 2001, ročník: 2001, vydání: 266(1-2)
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2