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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n9http://purl.org/net/nknouf/ns/bibtex#
n7http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n5http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F01%3A00004990%21RIV%2F2002%2FMSM%2F143302%2FN/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F01%3A00004990%21RIV%2F2002%2FMSM%2F143302%2FN
rdf:type
skos:Concept n19:Vysledek
dcterms:description
Three algorithms for deciding bisimilarity of normed BPA processes (two using bisimulation base and one using tableau) are evaluated. The evaluation is based on experimental results and some weak and strong points of algorithms with regard to practical use are being shown. Three algorithms for deciding bisimilarity of normed BPA processes (two using bisimulation base and one using tableau) are evaluated. The evaluation is based on experimental results and some weak and strong points of algorithms with regard to practical use are being shown.
dcterms:title
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
skos:prefLabel
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
skos:notation
RIV/00216224:14330/01:00004990!RIV/2002/MSM/143302/N
n4:aktivita
n8:Z
n4:aktivity
Z(MSM 143300001)
n4:dodaniDat
n14:2002
n4:domaciTvurceVysledku
n16:7158467
n4:druhVysledku
n17:B
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
672061
n4:idVysledku
RIV/00216224:14330/01:00004990
n4:jazykVysledku
n15:eng
n4:klicovaSlova
bisimulation equivalence, (normed) BPA process, tableau algorithm, bisimulation base
n4:klicoveSlovo
n6:tableau%20algorithm n6:%28normed%29%20BPA%20process n6:bisimulation%20equivalence n6:bisimulation%20base
n4:kontrolniKodProRIV
[5C4F615EC347]
n4:mistoVydani
Brno
n4:nazevEdiceCisloSvazku
Technical Report FIMU-RS-2001-06
n4:nazevZdroje
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
n4:obor
n10:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetStranKnihy
13
n4:pocetTvurcuVysledku
1
n4:pocetUcastnikuAkce
0
n4:pocetZahranicnichUcastnikuAkce
0
n4:rokUplatneniVysledku
n14:2001
n4:tvurceVysledku
Borek, Aleš
n4:zamer
n5:MSM%20143300001
s:numberOfPages
13
n9:hasPublisher
Masarykova univerzita. Fakulta informatiky
n7:organizacniJednotka
14330