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/
n14http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/ontology/domain/vavai/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23520%2F10%3A00504395%21RIV11-MSM-23520___/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F49777513%3A23520%2F10%3A00504395%21RIV11-MSM-23520___
rdf:type
skos:Concept n8:Vysledek
dcterms:description
In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Accordingly, we use a mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Furthermore, we more generally discuss the equivalence of systems where comparison of capabilities and bisimulation are related. Finally, we define a composite algebraic structure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure. In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Accordingly, we use a mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Furthermore, we more generally discuss the equivalence of systems where comparison of capabilities and bisimulation are related. Finally, we define a composite algebraic structure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure.
dcterms:title
Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
skos:prefLabel
Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure Capabilities and Equivalence of Systems and a Preview of Related Algebraic Structure
skos:notation
RIV/49777513:23520/10:00504395!RIV11-MSM-23520___
n3:aktivita
n16:I n16:S
n3:aktivity
I, S
n3:dodaniDat
n4:2011
n3:domaciTvurceVysledku
n13:8944296 n13:6397298
n3:druhVysledku
n9:O
n3:duvernostUdaju
n15:S
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
249581
n3:idVysledku
RIV/49777513:23520/10:00504395
n3:jazykVysledku
n7:eng
n3:klicovaSlova
transition system; permissible execution; interpretation of action; postponed nondeterminism; capability; equivalence of systems; lighted-button scenario; bisimulation; capability comparing; algebraic structure
n3:klicoveSlovo
n6:capability%20comparing n6:interpretation%20of%20action n6:capability n6:lighted-button%20scenario n6:equivalence%20of%20systems n6:postponed%20nondeterminism n6:algebraic%20structure n6:permissible%20execution n6:bisimulation n6:transition%20system
n3:kontrolniKodProRIV
[75AA458590B3]
n3:obor
n12:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n4:2010
n3:tvurceVysledku
Pinkas, Petr Klečková, Jana
n14:organizacniJednotka
23520