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/
n14http://purl.org/net/nknouf/ns/bibtex#
n7http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F00%3A00002662%21RIV%2F2002%2FGA0%2F143302%2FN/
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/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F00%3A00002662%21RIV%2F2002%2FGA0%2F143302%2FN
rdf:type
n10:Vysledek skos:Concept
dcterms:description
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
Constrained Rewrite Transition Systems Constrained Rewrite Transition Systems
skos:prefLabel
Constrained Rewrite Transition Systems Constrained Rewrite Transition Systems
skos:notation
RIV/00216224:14330/00:00002662!RIV/2002/GA0/143302/N
n3:aktivita
n11:Z n11:P
n3:aktivity
P(GA201/00/0400), P(GA201/00/1023), Z(MSM 143300001)
n3:dodaniDat
n13:2002
n3:domaciTvurceVysledku
n16:3978915
n3:druhVysledku
n18:B
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
707457
n3:idVysledku
RIV/00216224:14330/00:00002662
n3:jazykVysledku
n17:eng
n3:klicovaSlova
(rewrite) transition system, concurrency, partial information, bisimulation equivalence, language expressibility
n3:klicoveSlovo
n6:concurrency n6:language%20expressibility n6:partial%20information n6:bisimulation%20equivalence n6:%28rewrite%29%20transition%20system
n3:kontrolniKodProRIV
[2F7CB0636553]
n3:mistoVydani
Brno
n3:nazevEdiceCisloSvazku
Technical Report FIMU-RS-2000-12
n3:nazevZdroje
Constrained Rewrite Transition Systems
n3:obor
n20:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
30
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:projekt
n15:GA201%2F00%2F0400 n15:GA201%2F00%2F1023
n3:rokUplatneniVysledku
n13:2000
n3:tvurceVysledku
Strejček, Jan
n3:zamer
n12:MSM%20143300001
s:numberOfPages
30
n14:hasPublisher
Masarykova univerzita. Fakulta informatiky
n7:organizacniJednotka
14330