Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1747683> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- Q1747683 subject Q7153055.
- Q1747683 abstract "In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that one system simulates the other.Intuitively, a system simulates another system if it can match all of its moves.The basic definition relates states within one transition system, but this is easily adapted to relate two separate transition systems by building a system consisting of the disjoint union of the corresponding components.".
- Q1747683 wikiPageExternalLink spectrum1.pdf.gz.
- Q1747683 wikiPageWikiLink Q130901.
- Q1747683 wikiPageWikiLink Q130998.
- Q1747683 wikiPageWikiLink Q1425985.
- Q1747683 wikiPageWikiLink Q176468.
- Q1747683 wikiPageWikiLink Q176916.
- Q1747683 wikiPageWikiLink Q1930895.
- Q1747683 wikiPageWikiLink Q2878974.
- Q1747683 wikiPageWikiLink Q4227156.
- Q1747683 wikiPageWikiLink Q443253.
- Q1747683 wikiPageWikiLink Q7153055.
- Q1747683 wikiPageWikiLink Q842620.
- Q1747683 wikiPageWikiLink Q866364.
- Q1747683 wikiPageWikiLink Q924044.
- Q1747683 comment "In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that one system simulates the other.Intuitively, a system simulates another system if it can match all of its moves.The basic definition relates states within one transition system, but this is easily adapted to relate two separate transition systems by building a system consisting of the disjoint union of the corresponding components.".
- Q1747683 label "Simulation preorder".