About: Decidability and complexity of observational equivalences on infinite

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Decidability and complexity of observational equivalences on infinite - state processes Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/99/D026
Description	The aim of the project is to contribute new knowledge to the study of concurrent systems, inparticular with regard to the decidability of the problems connected to verification of infinite - state processes. The main question we want to address is the testing of certain observational equivalences on potentially infinite - state processes. In particular we want to study strong, and weak bisimulation equivalences on various process algebras, mainly BPA and BPPA, and their extensions PDA and PDDA, from the point of view of decidability and computational optimality of decision procedures that might exist. For strong bisimulation equivalence we want to find out whether there exist feasible (polynomial) decision algorithms for the aforementionedprocess algebras. In the case of weak bisimulation equivalence we want to investigate whether it is decidable on these classes of processes. (en) 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 rozhodnutelnosti a 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á na těchto třídách procesů.
Title	Decidability and complexity of observational equivalences on infinite - state processes (en) Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
skos:notation	GA201/99/D026
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2FD026/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2FD026/celkoveNaklady
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	598993
http://linked.open...ai/cep/hlavniObor	BC - Teorie a systémy řízení
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	4 (xsd:int)
http://linked.open...enychVysledkuVRIV	4 (xsd:int)
http://linked.open...iciPoslednihoRoku	2001
http://linked.open...atUdajeProjZameru	2001
http://linked.open...usZobrazovaneFaze	DUS
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+dodavatelem	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 (cs)
http://linked.open...tniCyklusProjektu	ZBS
is http://linked.open...vavai/riv/projekt of	Modifications of Expansion Trees for Weak Bisimulation in BPA Approximating Weak Bisimulation on Basic Process Algebras Approximating Weak Bisimulation on Basic Process Algebras Some Remarks on Weak Bisimilarity of BPA-Processes
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD026/1999/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD026/2000/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD026/2001/orjk%3A14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software