About: Analysis of Concurrent Infinite State Systems

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

About: Analysis of Concurrent Infinite State Systems 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/93/2123
Description	Analýza a verifikace vlastností konkurentních, konečně-stavových systémů je díky konečné množině stavů algoritmicky zvládnutelná, neboť ji lze provádět prohledáváním celého stavového prostoru procesu. Obecně jistě nelze očekávat, že vlastnosti nekonečně stavových problémů budou rozhodnutelné, avšak některé nejnovější výsledky jsou do značné míry překvapivé (např. rozhodnutelnost bisimulativní ekvivalencepro bezkontextové procesy) a nabízí celou řadu nových problémů. Návrh je zaměřen na studium oázek (ne)rozhodnutelnosti dalších tříd nekonečně stavových procesů a otázek (ne)rozhodnutelnosti dalších vlastností bezkontextových procesů. Současně se navrhuje zkoumat notaci, jež by umožnila vhodně reprezenovat nekonečné množiny stavů pro omezené tříy modelů (s pespektivním cílem tvorby experimentálního nástroje). Součástí návrhu je provedení analýzy typických případů procesů (case study) pomocí vhodného softwarového nástroje.
Title	Analysis of Concurrent Infinite State Systems (en) Analýza konkurentních nekonečně stavových systémů
skos:notation	GA201/93/2123
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F93%2F2123/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F93%2F2123/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	151933
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...ep/partnetrHlavni	Masarykova univerzita
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	1 (xsd:int)
http://linked.open.../pocetVysledkuRIV	16 (xsd:int)
http://linked.open...enychVysledkuVRIV	16 (xsd:int)
http://linked.open...iciPoslednihoRoku	1996
http://linked.open...atUdajeProjZameru	1996
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	JC - Počítačový hardware a software
http://linked.open...jektu+dodavatelem	XXX (cs)
http://linked.open...tniCyklusProjektu	.BKU
is http://linked.open...vavai/riv/projekt of	On Synchronous Communication in Concurrent Constraint Programming A process algebra for Synchronous Concurrent Constraint Programming New versions of asks for synchronous communication in concurrent constraint programming On the Relationship between Sequential and Parallel Compositions in Process Algebras On the Relationship between Sequential and Parallel Compositions in Process Algebras Modal mu-Calculus with Distances Deciding Regularity in Process Algebras New versions of Ask and Tell for synchronous communication in CCP A process Algebra for Synchronous Concurrent Constraint Programming A process algebra for Synchronous Concurrent Constraint Programming Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes Comparing Expressibility of Normed BPA and Normed BPP Processes Synchronisation in Scc Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. Regularity is Decidable for Normed PA Processes in Polynomial Time Regularity is Decidable for Normed PA Processes in Polynomial Time
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1994/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1994/ico%3A61988987 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1995/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1995/ico%3A61988987 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1996/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F93%2F2123/1996/ico%3A61988987

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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software