Bisimulation - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal method Model checking tool Functional programming topic Transition system
rdfs:label	Bisimulation
owl:sameAs	dbr:Bisimulation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Transition_systems http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/List_of_functional_programming_topics http://en.wikipedia.org/wiki/Construction_and_Analysis_of_Distributed_Processes http://en.wikipedia.org/wiki/List_of_model_checking_tools
skos:prefLabel	Bisimulation
skos:altLabel	(weak) bisimilar bisimulation branching bisimulation
is clgo:knownFor of	David Park (computer scientist)

About: clgr:Bisimulation