Informace o projektu
Meze algoritmické verifikovatelnosti nekonečně stavových systémů

Informace

Projekt nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Kód projektu

GA201/97/0456

Období řešení

1/1997 - 12/1999

Investor / Programový rámec / typ projektu

Grantová agentura ČR

Standardní projekty

Fakulta / Pracoviště MU

Fakulta informatiky

WWW stránky projektu

http://www.fi.muni.cz/usr/kretinsky/projects/GACR201970456.html

Spolupracující organizace

Vysoká škola báňská - Technická univerzita v Ostravě

Odpovědná osoba prof. RNDr. Petr Jančar, CSc.

The project is motivated by a live current research area concerning analysis and verification of complex (infinite state) concurrent systems It is the area of boundaries for algorithmic verification, where verification means checking equivalencies of sys tems, their temporal logic properties etc. Recently, several interesting results have been obtained in the given area, e.g. for calculi BPA, BPP, and Petri nets, to which also the grant of the Czech Grant Agency, No. 201/93/2123, has contributed. The ma

Publikace

Počet publikací: 28

2001

Deciding Bisimulation-Like Equivalences with Finite-State Processes

JANČAR Petr KUČERA Antonín MAYR Richard

Článek v odborném periodiku

Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2
Puzzles, mysteries and power of quantum entanglement

GRUSKA Jozef IMAI Hiroshi IMAI Hiroshe

Odborná kniha

Rok: 2001, počet stran: 44 s.

2000

Effective Decomposability of Sequential Behaviours.

KUČERA Antonín

Článek v odborném periodiku

Theoretical Computer Science, rok: 2000, ročník: 242, vydání: 1-2
Quantum computing challenges

GRUSKA Jozef

Kapitola v knize

Maathematics unlimited, 2001 and beyond, vydání: Vyd. 1, rok: 2000, počet stran: 35 s.
Simulation and Bisimulation over One-Counter Processes

JANČAR Petr KUČERA Antonín MOLLER Faron

Článek ve sborníku

Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000

1999

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

Článek v odborném periodiku

FI MU Report Series, rok: 1999, ročník: 1999, vydání: 08
A Logical Viewpoint on Process-Algebraic Quotients

KUČERA Antonín ESPARZA Javier

Článek ve sborníku

Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), rok: 1999
Comparing Expressibility of Normed BPA and Normed BPP Processes.

ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

Článek v odborném periodiku

Acta informatica, rok: 1999, ročník: 36, vydání: 3
Complexity Issues of the Pattern Equations in Idempotent Semigroups

KLÍMA Ondřej SRBA Jiří

Článek v odborném periodiku

Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 02
On the Pattern Equations

ČERNÁ Ivana KLÍMA Ondřej SRBA Jiří

Článek v odborném periodiku

Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 01