Decidability and complexity of observational equivalences on infinite - state processes
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
Annotation in Czech
Projekt si klade za cíl přispět novými poznatky ke studiu souběžných systémů, zejména v oblasti algoritmické rozhodnutelnosti problémů souvisejících s verifikací procesů s nekonečně mnoha stavy. Hlavním problémem, na který se chceme zaměřit, je testováníjistých observačních ekvivalencí na potenciálně nekonečně stavových procesech. Konkrétně chceme zkoumat silnou a slabou bisimulační ekvivalenci na různých algebrách procesů, především BPA a BPPA, a jejich nadtřídách PDA, PDDA, z hlediska rozhodnutelnostia algoritmické optimálnosti eventuálních rozhodovacích procedur. Pro silnou bisimulaci chceme zjistit, zda existují efektivní (polynomiální) rozhodovací algoritmy pro tyto algebry. V případě slabé bisimulace chceme zkoumat, zda je vůbec rozhodnutelná natěchto třídách procesů.
Scientific branches
R&D category
—
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Projekt byl předčasně ukončen vzhledem k pracovnímu pobytu řešitelky v USA. Práce na projektu má teoretické výstupy obsažené ve dvou výzkumných zprávách. Výsledky projektu se týkají teorie souběžnosti. Čerpání finančních prostředků nevykazuje žádné nedos
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2002
Project status
S - Stopped (prematurely terminated) multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2001/GA0/GA01GA/U/N/9:4
Data delivery date
—
Finance
Total approved costs
231 thou. CZK
Public financial support
231 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK