Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bisimulation> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Bisimulation abstract "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.".
- Bisimulation wikiPageExternalLink cadp.inria.fr.
- Bisimulation wikiPageExternalLink bisim.
- Bisimulation wikiPageID "397571".
- Bisimulation wikiPageLength "11695".
- Bisimulation wikiPageOutDegree "41".
- Bisimulation wikiPageRevisionID "678261839".
- Bisimulation wikiPageWikiLink Binary_relation.
- Bisimulation wikiPageWikiLink CADP.
- Bisimulation wikiPageWikiLink Calculus_of_Communicating_Systems.
- Bisimulation wikiPageWikiLink Calculus_of_communicating_systems.
- Bisimulation wikiPageWikiLink Category:Formal_methods.
- Bisimulation wikiPageWikiLink Category:Logic_in_computer_science.
- Bisimulation wikiPageWikiLink Category:Theoretical_computer_science.
- Bisimulation wikiPageWikiLink Composition_of_relations.
- Bisimulation wikiPageWikiLink Congruence_relation.
- Bisimulation wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- Bisimulation wikiPageWikiLink Equivalence_relation.
- Bisimulation wikiPageWikiLink First-order_logic.
- Bisimulation wikiPageWikiLink Greatest_fixed_point.
- Bisimulation wikiPageWikiLink Johan_van_Benthem_(logician).
- Bisimulation wikiPageWikiLink Knaster–Tarski_theorem.
- Bisimulation wikiPageWikiLink Kripke_semantics.
- Bisimulation wikiPageWikiLink Least_fixed_point.
- Bisimulation wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Bisimulation wikiPageWikiLink MCRL2.
- Bisimulation wikiPageWikiLink Modal_logic.
- Bisimulation wikiPageWikiLink Operational_semantics.
- Bisimulation wikiPageWikiLink Order_theory.
- Bisimulation wikiPageWikiLink Prentice_Hall.
- Bisimulation wikiPageWikiLink Probabilistic_bisimulation.
- Bisimulation wikiPageWikiLink Programming_language.
- Bisimulation wikiPageWikiLink Quantale.
- Bisimulation wikiPageWikiLink Relation_(mathematics).
- Bisimulation wikiPageWikiLink Simulation_preorder.
- Bisimulation wikiPageWikiLink Springer-Verlag.
- Bisimulation wikiPageWikiLink Springer_Science+Business_Media.
- Bisimulation wikiPageWikiLink State_transition_system.
- Bisimulation wikiPageWikiLink Theoretical_computer_science.
- Bisimulation wikiPageWikiLink Transition_system.
- Bisimulation wikiPageWikiLink Up_to.
- Bisimulation wikiPageWikiLink File:Coalgebraic_bisimulation.svg.
- Bisimulation wikiPageWikiLinkText "(weak)".
- Bisimulation wikiPageWikiLinkText "Bisimulation".
- Bisimulation wikiPageWikiLinkText "bisimilar".
- Bisimulation wikiPageWikiLinkText "bisimulation".
- Bisimulation wikiPageWikiLinkText "branching bisimulation".
- Bisimulation hasPhotoCollection Bisimulation.
- Bisimulation wikiPageUsesTemplate Template:Authority_control.
- Bisimulation wikiPageUsesTemplate Template:Cite_book.
- Bisimulation wikiPageUsesTemplate Template:Cite_conference.
- Bisimulation subject Category:Formal_methods.
- Bisimulation subject Category:Logic_in_computer_science.
- Bisimulation subject Category:Theoretical_computer_science.
- Bisimulation hypernym Relation.
- Bisimulation type Area.
- Bisimulation type Person.
- Bisimulation type Area.
- Bisimulation type Method.
- Bisimulation type Thing.
- Bisimulation 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.".
- Bisimulation label "Bisimulation".
- Bisimulation sameAs Bisimulace.
- Bisimulation sameAs Bisimulation.
- Bisimulation sameAs Bisimulation.
- Bisimulation sameAs Bisimulazione.
- Bisimulation sameAs 双模倣性.
- Bisimulation sameAs Bissimulação.
- Bisimulation sameAs m.023gx4.
- Bisimulation sameAs Q866364.
- Bisimulation sameAs Q866364.
- Bisimulation wasDerivedFrom Bisimulation?oldid=678261839.
- Bisimulation isPrimaryTopicOf Bisimulation.