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
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: 263


Previous 1 2 3 4 5 6 7 27 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info