About: A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation     Goto   Sponge   Distinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
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 (en)
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 (en)
skos:notation
  • RIV/00216224:14330/01:00004990!RIV/2002/MSM/143302/N
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • Z(MSM 143300001)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 672061
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/01:00004990
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • bisimulation equivalence, (normed) BPA process, tableau algorithm, bisimulation base (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [5C4F615EC347]
http://linked.open...i/riv/mistoVydani
  • Brno
http://linked.open...vEdiceCisloSvazku
  • Technical Report FIMU-RS-2001-06
http://linked.open...i/riv/nazevZdroje
  • A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...v/pocetStranKnihy
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Borek, Aleš
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Masarykova univerzita. Fakulta informatiky
http://localhost/t...ganizacniJednotka
  • 14330
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 84 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software