This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n13http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n11http://localhost/temp/predkladatel/
n4http://purl.org/net/nknouf/ns/bibtex#
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n20http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F04%3A00010251%21RIV08-MSM-14330___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F04%3A00010251%21RIV08-MSM-14330___
rdf:type
skos:Concept n20:Vysledek
dcterms:description
We prove that probabilistic bisimilarity is decidable over probabilistic extensions of BPA and BPP processes. For normed subclasses of probabilistic BPA and BPP processes we obtain polynomial-time algorithms. Further, we show that probabilistic bisimilarity between probabilistic pushdown automata and finite-state systems is decidable in exponential time. If the number of control states in PDA is bounded by a fixed constant, then the algorithm needs only polynomial time. We prove that probabilistic bisimilarity is decidable over probabilistic extensions of BPA and BPP processes. For normed subclasses of probabilistic BPA and BPP processes we obtain polynomial-time algorithms. Further, we show that probabilistic bisimilarity between probabilistic pushdown automata and finite-state systems is decidable in exponential time. If the number of control states in PDA is bounded by a fixed constant, then the algorithm needs only polynomial time. V článku je dokázáno, že pravděpodobnostní bisimulace je rozhodnutelná pro pravděpodobnostní rozšíření BPA a BPP procesů. Pro normované podtřídy pravděpodobnostních BPA a BPP procesů jsou prezentovány algoritmy, jejichž časová složitost je polynomiální. Dále je dokázáno, že pravděpodobnostní bisimulace mezi pravděpodobnostními zásobníkovými automaty a konečně-stavovými pravděpodobnostními systémy je rozhodnutelná v exponenciálním čase. Pokud je počet kontrolních stavů zásobníkového automatu omezen fixní konstantou, pak je tato časová složitost polynomiální.
dcterms:title
Rozhodnutelnost pravděpodobnostní bisimulace pro nekonečně-stavové pravděpodobnostní systémy Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
skos:prefLabel
Rozhodnutelnost pravděpodobnostní bisimulace pro nekonečně-stavové pravděpodobnostní systémy Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
skos:notation
RIV/00216224:14330/04:00010251!RIV08-MSM-14330___
n5:strany
193-208
n5:aktivita
n16:P n16:Z
n5:aktivity
P(GA201/03/1161), Z(MSM 143300001)
n5:dodaniDat
n15:2008
n5:domaciTvurceVysledku
n9:9872655 n9:1762834 n9:9797092
n5:druhVysledku
n14:D
n5:duvernostUdaju
n22:S
n5:entitaPredkladatele
n17:predkladatel
n5:idSjednocenehoVysledku
559506
n5:idVysledku
RIV/00216224:14330/04:00010251
n5:jazykVysledku
n12:eng
n5:klicovaSlova
probabilistic bisimilarity; probabilistic systems
n5:klicoveSlovo
n18:probabilistic%20systems n18:probabilistic%20bisimilarity
n5:kontrolniKodProRIV
[0927D048A72A]
n5:mistoKonaniAkce
August 31 - September 3, 2004, London, UK
n5:mistoVydani
Berlin
n5:nazevZdroje
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)
n5:obor
n21:IN
n5:pocetDomacichTvurcuVysledku
3
n5:pocetTvurcuVysledku
3
n5:projekt
n10:GA201%2F03%2F1161
n5:rokUplatneniVysledku
n15:2004
n5:tvurceVysledku
Kučera, Antonín Stražovský, Oldřich Brázdil, Tomáš
n5:typAkce
n13:WRD
n5:zahajeniAkce
2004-01-01+01:00
n5:zamer
n6:MSM%20143300001
s:numberOfPages
16
n4:hasPublisher
Springer-Verlag
n19:isbn
3-540-22940-X
n11:organizacniJednotka
14330