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

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

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://purl.org/net/nknouf/ns/bibtex#
n17http://localhost/temp/predkladatel/
n21http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/ontology/domain/vavai/
n8http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F04%3A00010320%21RIV%2F2005%2FGA0%2F272405%2FN/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F04%3A00010320%21RIV%2F2005%2FGA0%2F272405%2FN
rdf:type
n11:Vysledek skos:Concept
dcterms:description
A recent paper by Jančar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. A recent paper by Jančar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. A recent paper by Jančar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. Here we explore a (more detailed) version of the respective algorithm when applied to the subclass called normed BPP (nBPP), and show that in this case the algorithm runs in polynomial time;
dcterms:title
Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3) Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3) Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)
skos:prefLabel
Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3) Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3) Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)
skos:notation
RIV/61989100:27240/04:00010320!RIV/2005/GA0/272405/N
n4:strany
9
n4:aktivita
n5:P n5:Z
n4:aktivity
P(GA201/03/1161), Z(MSM 272400013)
n4:dodaniDat
n7:2005
n4:domaciTvurceVysledku
n14:6026508
n4:druhVysledku
n9:D
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n12:predkladatel
n4:idSjednocenehoVysledku
556378
n4:idVysledku
RIV/61989100:27240/04:00010320
n4:jazykVysledku
n6:eng
n4:klicovaSlova
bisimulation equivalence;normed basic parallel processes;polynomial
n4:klicoveSlovo
n13:bisimulation%20equivalence n13:polynomial n13:normed%20basic%20parallel%20processes
n4:kontrolniKodProRIV
[359BD3E2E1FB]
n4:mistoKonaniAkce
Barcelona
n4:mistoVydani
Barcelona
n4:nazevZdroje
Proceedings of the Third International Workshop on Automated Verification of Infinite-State Systems - AVIS2004
n4:obor
n15:BD
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n21:GA201%2F03%2F1161
n4:rokUplatneniVysledku
n7:2004
n4:tvurceVysledku
Jančar, Petr Kot, M.
n4:typAkce
n18:WRD
n4:zahajeniAkce
2004-04-28+02:00
n4:zamer
n8:MSM%20272400013
s:numberOfPages
9
n20:hasPublisher
Technical University of Catalonia
n17:organizacniJednotka
27240