About: Decidability Issues for process algebras

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

About: Decidability Issues for process algebras 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/98/P046
Description	The aim of the project is to bring new results in the theory of concurrent systems, especially in the area of verification of infinite-state systems. Main research priorities of the project can be summarized as follows: (1) An exact comparison of expressibility of various models for infinite-state systems. (2) Decidability and complexity of the equivalence-testing problem for processes which are defined in different types of syntax. (3) The problem of finite representation of infinite-state systems. Decidability of the regularity problem for infinite-state systems. (4) Effective parallelization of infinite-state processes. (en) Projekt má za cíl přispět novými poznatky ke studiu konkurentních systémů, zejména v oblasti algoritmické rozhodnutelnosti problémů souvisejících s verifikací procesů s nekonečně mnoha stavy. Projekt tématicky navazuje na grantový projekt 201/97/0456, který byl řešen na pracovišti navrhovatele a v jehož rámci navrhovatel dosáhl řady původních a publikovaných výsledků. Hlavní směry navrhované výzkumné práce, které rozšiřují a prohlubují výsledky dosažené v rámci výše uvedeného projektu, lze shrnout takto: 1. Porovnání vyjadřovací síly různých algeber procesů, charakterizace %22sémantického průniku%22. 2. Testování sémantických ekvivalencí (zejména bisimulační ekvivalence) mezi procesy, které jsou popsány rozdílným typem syntaxe. 3. Testování regularityprocesů v širším smyslu, testování silné regularity a konstrukce konečné charakterizace. 4. Algoritmická paralelizace jistých tříd normovaných procesů. U navržených algoritmů bude rovněž analyzována jejich složitost a praktická použitelnost.
Title	Decidability Issues for process algebras (en) Rozhodnutelné problémy v algebrách procesů
skos:notation	GA201/98/P046
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F98%2FP046/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F98%2FP046/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	599380
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a 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	15 (xsd:int)
http://linked.open...enychVysledkuVRIV	15 (xsd:int)
http://linked.open...iciPoslednihoRoku	2001
http://linked.open...atUdajeProjZameru	2001
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open.../cep/vedlejsiObor	BA - Obecná matematika
http://linked.open...jektu+dodavatelem	Postup a metodika prací je v souladu se stanoveným záměrem. Výstupy grantu jsou publikace přijaté do prestižních časopisů a prezentované na vynikajících konferencích. Změny v čerpání finančních prostředků jsou lokálního charakteru a nemají vliv na celkov (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	Deciding Bisimulation-Like Equivalences with Finite-State Processes Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time Comparing Expressibility of Normed BPA and Normed BPP Processes. Regularity of normed PA processes Bisimilarity of Processes with Finite-State Systems On Finite Representations of Infinite-State Behaviours. Simulation Preorder on Simple Process Algebras Simulation Preorder on Simple Process Algebras Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time Effective Decomposability of Sequential Behaviours. Efficient Verification Algorithms for One-Counter Processes On Simulation-Checking with Sequential Systems Simulation and Bisimulation over One-Counter Processes Deciding bisimulation-likeequivalences with finite-state processes Model-Checking LTL with Regular Valuations for Pushdown Systems
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2FP046/1998/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2FP046/1999/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2FP046/2000/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2FP046/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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software