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í: 263
1998
-
Deadlocking States in Context-Free Process Algebra
Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), rok: 1998
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Technical Report TUM, rok: 1998, ročník: 1998, vydání: TUM-I9805
-
Mathematical Foundations of Computer Science 1998
Rok: 1998, počet stran: 846 s.
-
MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
FI MU Report Series, rok: 1998, ročník: 1998, vydání: 06
-
Proceedings of the MFCS'98 Workshop on Concurrency
Electronic Notes in Theoretical Computer Science, rok: 1998, ročník: 1998, vydání: Vol.18
-
Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
Technical Report TUM, rok: 1998, ročník: 1998, vydání: TUM-I9830
1997
-
Adding Time via Timed Transitions to Concurrent Constraint Programming
ERCIM/COMPULOG Workshop, rok: 1997, počet stran: 12 s.
-
Adjusting informatics education to Information era.
Foundations of Computer Science, rok: 1997, počet stran: 20 s.
-
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 5
-
Bisimilarity of Processes with Finite-State Systems
Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), rok: 1997