This HTML5 document contains 31 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-cshttp://cs.dbpedia.org/resource/
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n12http://purl.org/bncf/tid/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n16http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Préordre_de_simulation
rdfs:label
Simulation (computer science) Préordre de simulation
rdfs:comment
En informatique théorique un préordre de simulation est une relation entre systèmes de transition d'états associant des systèmes qui se comportent de la même façon au sens qu'un système simule l'autre. Intuitivement, un système simule l'autre s'il peut imiter toutes ses actions. La définition basique relie les états à l'intérieur d'un système de transition, mais c'est facilement adaptable pour mettre en relation deux systèmes de transition séparés en construisant un système consistant en l'union disjointe des composants correspondants.
owl:sameAs
n9:023c54 n12:8001 dbpedia-cs:Simulační_předuspořádání wikidata:Q1747683 n16:2779588208 dbpedia-it:Simulazione_(informatica) dbr:Simulation_(computer_science)
dbo:wikiPageID
823950
dbo:wikiPageRevisionID
124128557
dbo:wikiPageWikiLink
dbpedia-fr:Bisimulation category-fr:Méthode_formelle dbpedia-fr:Informatique_théorique dbpedia-fr:Relation_binaire category-fr:Informatique_théorique dbpedia-fr:Préordre dbpedia-fr:Réunion_disjointe dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Définition_coinductive
dbo:wikiPageLength
2159
dct:subject
category-fr:Informatique_théorique category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate
n7:Voir_homonymes n7:Portail n7:Retrait
prov:wasDerivedFrom
wikipedia-fr:Préordre_de_simulation?oldid=124128557&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Préordre_de_simulation
dbo:abstract
En informatique théorique un préordre de simulation est une relation entre systèmes de transition d'états associant des systèmes qui se comportent de la même façon au sens qu'un système simule l'autre. Intuitivement, un système simule l'autre s'il peut imiter toutes ses actions. La définition basique relie les états à l'intérieur d'un système de transition, mais c'est facilement adaptable pour mettre en relation deux systèmes de transition séparés en construisant un système consistant en l'union disjointe des composants correspondants.