This HTML5 document contains 1 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | Namespace IRI |
|---|
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbpedia | http://dbpedia.org/resource/ |
- Subject Item
- dbpedia:Bisimulation
- rdfs:comment
-
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that one system simulates the other and vice versa.Intuitively two systems are bisimilar if they match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer.