This HTML5 document contains 44 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/
n10http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F00%3A00002662%21RIV09-GA0-14330___/
n3http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/resource/domain/vavai/zamer/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/kodPristupu/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
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#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n18http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F00%3A00002662%21RIV09-GA0-14330___
rdf:type
n3:Vysledek skos:Concept
rdfs:seeAlso
http://www.fi.muni.cz/reports/files/older/FIMU-RS-2000-12.pdf
dcterms:description
Rozšířujeme přepisovací systémy o mechanismus pro práci s částečnou informací v analogické podobě jako v Concurrent Constraint Programming (CCP). Rozšíření změní vyjadřovací sílu tříd přechodových systémů BPA a BPP a vzniknou tak dvě nové třídy přechodových systémů (fcBPA a fcBPP). Rozšíření nezmění vyjadřovací sílu ostatních uvažovaných tříd (FSA, PDA, PPDA, a PN). Nově vzniklé třídy jsou zařazeny do hierarchie standardních tříd přechodových systémů navržené Mollerem [Mol96]. We extend broadly studied rewrite transition systems with a mechanism for computing with partial information in the form similar to that one used in Concurrent Constraint Programming (CCP). Two new classes of transition systems (fcBPA and fcBPP) are introduced as this extension changes expressibility power of rewrite transition systems corresponding to BPA and BPP. The power of rewrite systems corresponding to other classes (FSA, PDA, PPDA, and PN) remains unchanged. The new classes are inserted to the hierarchy of standard process classes presented by Moller [Mol96]. We extend broadly studied rewrite transition systems with a mechanism for computing with partial information in the form similar to that one used in Concurrent Constraint Programming (CCP). Two new classes of transition systems (fcBPA and fcBPP) are introduced as this extension changes expressibility power of rewrite transition systems corresponding to BPA and BPP. The power of rewrite systems corresponding to other classes (FSA, PDA, PPDA, and PN) remains unchanged. The new classes are inserted to the hierarchy of standard process classes presented by Moller [Mol96].
dcterms:title
Přepisovací systémy s omezeními Constrained Rewrite Transition Systems Constrained Rewrite Transition Systems
skos:prefLabel
Constrained Rewrite Transition Systems Constrained Rewrite Transition Systems Přepisovací systémy s omezeními
skos:notation
RIV/00216224:14330/00:00002662!RIV09-GA0-14330___
n4:aktivita
n15:P n15:Z
n4:aktivity
P(GA201/00/0400), P(GA201/00/1023), Z(MSM 143300001)
n4:dodaniDat
n18:2009
n4:domaciTvurceVysledku
n9:3978915
n4:druhVysledku
n12:A
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n8:predkladatel
n4:idSjednocenehoVysledku
707456
n4:idVysledku
RIV/00216224:14330/00:00002662
n4:jazykVysledku
n11:eng
n4:klicovaSlova
(rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
n4:klicoveSlovo
n6:concurrency n6:language%20expressibility n6:bisimulation%20equivalence n6:partial%20information n6:%28rewrite%29%20transition%20system
n4:kodPristupu
n13:V
n4:kontrolniKodProRIV
[91CF81121D29]
n4:mistoVydani
Brno
n4:objednatelVyzkumneZpravy
FI MU
n4:obor
n16:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n17:GA201%2F00%2F0400 n17:GA201%2F00%2F1023
n4:rokUplatneniVysledku
n18:2000
n4:tvurceVysledku
Strejček, Jan
n4:verzeVyzkumneZpravy
Report Series, FIMU-RS-2000-12
n4:zamer
n20:MSM%20143300001
n10:organizacniJednotka
14330