"12"^^ . "Algoritmick\u00E9 rozhodovn\u00E1n\u00ED simula\u010Dn\u00EDch ekvivalenc\u00ED. Automatick\u00E9 ov\u011B\u0159ov\u00E1n\u00ED platnosti formul\u00FD tempor\u00E1ln\u00EDch logik. Distribuovan\u00E9 Petriho s\u00EDt\u011B s \u010Dasov\u00FDmi hranami. V\u00FDvoj paraleln\u00EDch a distribuovan\u00FDch verifika\u010Dn\u00EDch technik."@en . . . . . . "Algoritmick\u00E9 rozhodovn\u00E1n\u00ED simula\u010Dn\u00EDch ekvivalenc\u00ED. Automatick\u00E9 ov\u011B\u0159ov\u00E1n\u00ED platnosti formul\u00FD tempor\u00E1ln\u00EDch logik. Distribuovan\u00E9 Petriho s\u00EDt\u011B s \u010Dasov\u00FDmi hranami. V\u00FDvoj paraleln\u00EDch a distribuovan\u00FDch verifika\u010Dn\u00EDch technik."@cs . . . "C\u00EDl:V\u00FDznam nesekven\u010Dn\u00EDch model\u016F v\u00FDpo\u010Detn\u00EDch proces\u016F vzr\u016Fst\u00E1 jak z hlediska teoretick\u00E9ho, tak praktick\u00E9ho. C\u00EDlem tohoto n\u00E1vrhu pro dlouhodob\u00FD v\u00FDzkumn\u00FD z\u00E1m\u011Br je jak pokra\u010Dov\u00E1n\u00ED v ji\u017E existuj\u00EDc\u00EDm \u00FAsp\u011B\u0161n\u00E9m v\u00FDzkumu v oblasti soub\u011B\u017En\u00FDch (concurrent) distribuovan\u00FDch syst\u00E9m\u016F, tak i roz\u0161\u00ED\u0159en\u00ED v\u00FDzkumu na problematiku kvantov\u00FDch model\u016F a v\u00FDpo\u010Dt\u016F. Obsah: Anal\u00FDza model\u016F soub\u011B\u017En\u00FDch proces\u016F a jejich vz\u00E1jemn\u00FDch vztah\u016F s d\u016Frazem na algoritmick\u00E9 a slo\u017Eitostn\u00ED aspekty. Anal\u00FDza model\u016F a n\u00E1vrh specifika\u010Dn\u00EDch a transforma\u010Dn\u00EDch n\u00E1stroj\u016F pro soub\u011B\u017En\u00E9 syst\u00E9my pracuj\u00EDc\u00ED v re\u00E1ln\u00E9m \u010Dase s d\u016Frazem na tzv. safety--critical syst\u00E9my. Logiky, zejm\u00E9na tempor\u00E1ln\u00ED a mod\u00E1ln\u00ED, pro specifikaci a anal\u00FDzu soub\u011B\u017En\u00FDch syst\u00E9m\u016F. N\u00E1vrh a anal\u00FDza kvantov\u00FDch algoritm\u016F a v\u00FDvoj metod pro n\u00E1vrh kvantov\u00FDch algoritm\u016F a protokol\u016F, jako\u017E i kvantov\u00FDch kone\u010Dn\u00FDch automat\u016F a celul\u00E1rn\u00EDch automat\u016F." . . "Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing"@en . "239"^^ . . . . . . "1"^^ . . "239"^^ . "Nesekven\u010Dn\u00ED modely v\u00FDpo\u010Dt\u016F - kvantov\u00E9 a soub\u011B\u017En\u00E9 distribuovan\u00E9 modely v\u00FDpo\u010Detn\u00EDch proces\u016F" . . . "0"^^ . "2008-06-02+02:00"^^ . "0"^^ . "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 specificationand 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."@en . . . . "2"^^ . "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 methodo\u2026"@en .