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
1996
-
Regularity is Decidable for Normed PA Processes in Polynomial Time
Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96), rok: 1996
-
Regularity is Decidable for Normed PA Processes in Polynomial Time
FI MU Report Series, rok: 1996, ročník: 1996, vydání: RS-96-01
1995
-
A process algebra for Synchronous Concurrent Constraint Programming
Technical Report of Namur University, rok: 1995, ročník: 1995, vydání: 8
-
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
-
State complexity of SBTA languages.
Proceddings of LATIN´95, rok: 1995, počet stran: 12 s.
-
Synchronisation in Scc
ILPS´95, rok: 1995, počet stran: 2 s.
1994
-
Fix-point semantics of synchronized systems and correctness of their basic transformationsa.
Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, rok: 1994, počet stran: 22 s.
-
Linear logic semantics for Concurrent Prolog
Extensions of Logic Programming, vydání: Vyd. 1., rok: 1994, počet stran: 12 s.
-
Modal mu-Calculus with Distances
Scripta Fac.Brun., rok: 1994, ročník: 1994, vydání: 23