Attributes | Values |
---|
rdf:type
| |
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. (en)
|
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 (en)
|
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 (en)
|
skos:notation
| - RIV/49777513:23520/10:00504395!RIV11-MSM-23520___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
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
| |
http://linked.open...ai/riv/idVysledku
| - RIV/49777513:23520/10:00504395
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - transition system; permissible execution; interpretation of action; postponed nondeterminism; capability; equivalence of systems; lighted-button scenario; bisimulation; capability comparing; algebraic structure (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Klečková, Jana
- Pinkas, Petr
|
http://localhost/t...ganizacniJednotka
| |