Project information
Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
- Project Identification
- MSM 143300001
- Project Period
- 1/1999 - 12/2004
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Intents
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- 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
Aim: Importance of non-sequential models of computing grows both from theoretical and practical point of view. The aim of this proposal for a long-term research is on one side the continuation of the already well established and successful research in the area of concurrent, distributed and parallel systems and on the other side the extension of the scope of the research into the area of quantum computing. Scope: Analysis of models of concurrency and of their mutual relations with the emphasis on decision, algorithmic and complexity problems. Analysis of models and the development of specification and transformation tools for real-time concurrent systems with emphasis on safety-critical systems. Logics, especially temporal and modal, for specification and analysis of concurrent and distributed systems. Design and analysis of quantum algorithms and development of methods for design of quantum algorithms and protocols, as well as for quantum finite automata and quantum cellular automata.
Results
The aim of this proposal for a long-term research is on one side the continuation of the already well established and successful research in the area of concurrent, distributed and parallel systems and on the other side the extension of the scope of the research into the area of quantum computing.
Publications
Total number of publications: 265
1999
-
Reconstruction of quantum states from incomplete data
Chaos, Solitons & Fractals, year: 1999, volume: 10, edition: 6
-
Regularity of normed PA processes
Information Processing Letters, year: 1999, volume: 72, edition: 1-2
-
Secret sharing via quantum entanglement
Acta physica slovaca, year: 1999, volume: 49, edition: 4
-
Simulation Preorder on Simple Process Algebras
Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), year: 1999
-
Simulation Preorder on Simple Process Algebras
Technical Report TUM, year: 1999, volume: 1999, edition: TUM-I9902
-
Synthesis of operators: universal quantum gates for a trapped ion
Acta physica slovaca, year: 1999, volume: 49, edition: 4
-
Universal optimal cloning of qubits and quantum registers
Quantum Computing and Quantum Communications, year: 1999, number of pages: 12 s.
-
Universal quantum cloning
Optics and Spectroscopy, year: 1999, volume: 87, edition: 4
-
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99), year: 1999
1998
-
A fully abstract semantics for synchronous and asynchronous ccp
Technical Report of Namur University, year: 1998, volume: 1998, edition: 1