About: Bisimulation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Relation between transition systems in computer science

Property	Value
dbo:description	Relation between transition systems in computer science (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Coalgebraic_bisimulation.svg?width=300
dbo:wikiPageExternalLink	http://cadp.inria.fr http://www.brics.dk/bisim/
dbo:wikiPageWikiLink	dbr:Composition_of_relations dbc:Logic_in_computer_science dbr:Programming_language dbr:Theoretical_computer_science dbr:Binary_relation dbr:Equivalence_relation dbr:F-coalgebra dbr:MCRL2 dbr:Functor dbr:Prentice_Hall dbr:Product_(category_theory) dbr:Bijection dbr:Lecture_Notes_in_Computer_Science dbr:Knaster–Tarski_theorem dbr:Modal_logic dbr:Power_set dbr:Up_to dbr:Transition_system dbr:Order_theory dbr:First-order_logic dbr:Johan_van_Benthem_(logician) dbr:Kripke_semantics dbr:Commutative_diagram dbr:Operational_semantics dbr:Converse_relation dbr:Relation_(mathematics) dbr:Polynomial_time dbr:Quantale dbc:Theoretical_computer_science dbc:Formal_methods dbc:Transition_systems dbr:Partition_refinement dbr:Greatest_fixed_point dbr:Stutter_bisimulation dbr:Springer-Verlag dbr:Congruence_relation dbr:Probabilistic_bisimulation dbr:Quasilinear_time dbr:Simulation_preorder dbr:CADP dbr:State_transition_system dbr:File:Coalgebraic_bisimulation.svg
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Authority_control dbt:Cite_conference dbt:How dbt:Math dbt:More_citations_needed dbt:Mvar dbt:Reflist dbt:Resize dbt:Sfnp dbt:Short_description dbt:Var
dct:subject	dbc:Logic_in_computer_science dbc:Theoretical_computer_science dbc:Formal_methods dbc:Transition_systems
gold:hypernym	dbr:Relation
rdf:type	owl:Thing owl:Thing
rdfs:label	Bisimulation (en) Bisimulace (cs) Bisimulation (de) Bisimulation (fr) Bisimulazione (it) 双模倣性 (ja) Bissimulação (pt)
owl:sameAs	freebase:Bisimulation yago-res:Bisimulation http://d-nb.info/gnd/4619739-4 wikidata:Bisimulation dbpedia-de:Bisimulation dbpedia-it:Bisimulation dbpedia-fr:Bisimulation dbpedia-ja:Bisimulation dbpedia-pt:Bisimulation dbpedia-cs:Bisimulation dbpedia-fa:Bisimulation dbpedia-global:Bisimulation
prov:wasDerivedFrom	wikipedia-en:Bisimulation?oldid=1311878552&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Coalgebraic_bisimulation.svg
foaf:isPrimaryTopicOf	wikipedia-en:Bisimulation
is dbo:knownFor of	dbr:David_Park_(computer_scientist)
is dbo:wikiPageRedirects of	dbr:Bisimilar dbr:Bisimilarity
is dbo:wikiPageWikiLink of	dbr:Process_calculus dbr:List_of_computer_scientists dbr:Coinduction dbr:List_of_programming_language_researchers dbr:David_Park_(computer_scientist) dbr:Mostowski_collapse_lemma dbr:Binary_relation dbr:F-coalgebra dbr:Simulation_(computer_science) dbr:Dmitry_Mirimanoff dbr:Region_(model_checking) dbr:Π-calculus dbr:Up_to dbr:Bigraph dbr:Transition_system dbr:Johan_van_Benthem_(logician) dbr:Isomorphism dbr:Kripke_semantics dbr:Operational_semantics dbr:Bunched_logic dbr:Jan_Friso_Groote dbr:Principles_of_Model_Checking dbr:Corecursion dbr:List_of_functional_programming_topics dbr:Non-well-founded_set_theory dbr:List_of_programmers dbr:Semantics_encoding dbr:TAPAs_model_checker dbr:Prefix_order dbr:Guarded_logic dbr:Stuttering_equivalence dbr:Stutter_bisimulation dbr:Calculus_of_broadcasting_systems dbr:Probabilistic_bisimulation dbr:Bisimilar dbr:Bisimilarity
is dbp:knownFor of	dbr:David_Park_(computer_scientist)
is rdfs:seeAlso of	dbr:Π-calculus
is foaf:primaryTopic of	wikipedia-en:Bisimulation