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
-
Security of the Private Quantum Channel
Journal of Modern Optics, rok: 2002, ročník: 2003, vydání: 1
-
SGCCS: A Graphical Language for Real-Time Coordination
Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2002
-
SGCCS: A Graphical Language for Real-Time Systems
Proceedings SOFSEM 2002 Student Research Forum, rok: 2002
-
Simulation Preorder over Simple Process Algebras
Information and Computation, rok: 2002, ročník: 173, vydání: 2
-
Squeezed States: Basic Principles
Lecture Notes in Physics, rok: 2002, ročník: 2002, vydání: 1
-
Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02), rok: 2002
-
Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
Proceedings of 29th International Colloquium on Automata, Languages and Programming (ICALP'02), rok: 2002
-
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02), rok: 2002
-
Thermalizing quantum machines: Dissipation and entanglement
Physical Review Letters, rok: 2002, ročník: 88, vydání: 09
-
Undecidability of Weak Bisimilarity for Pushdown Processes
Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02), rok: 2002