About: Divergence (computer science)

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

Failure to reach a finite state after any finite amount of time in computer science

Property	Value
dbo:description	failure to reach a finite state after any finite amount of time in computer science (en)
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=N7BvXVUCQk8C&q=Divergent%7Cisbn=9780521779203 http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.19.1615&rep=rep1&type=pdf
dbo:wikiPageWikiLink	dbr:Communicating_sequential_processes dbc:Lambda_calculus dbr:Lambda_calculus dbr:State_(computer_science) dbr:Function_(mathematics) dbc:Programming_language_theory dbc:Rewriting_systems dbr:Abstract_rewriting_system dbr:Termination_analysis dbr:Normal_form_(abstract_rewriting) dbc:Denotational_semantics dbr:Denotational_semantics dbc:Process_(computing) dbr:Computer_science dbr:Infinite_loop dbr:Function_(computer_science) dbr:Abstract_rewriting dbr:Bottom_element dbr:Process_calculi dbr:Confluent_(abstract_rewriting) dbr:Reduction_(abstract_rewriting) dbr:Argument_(computer_science)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:! dbt:Reflist dbt:Redirect dbt:Sfn dbt:See_also dbt:Comp-sci-stub dbt:Cn dbt:Rp dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Programming_language_theory dbc:Rewriting_systems dbc:Denotational_semantics dbc:Process_(computing)
rdf:type	owl:Thing
rdfs:label	Divergence (computer science) (en)
rdfs:seeAlso	dbr:Communicating_sequential_processes dbr:Divergences_model
owl:sameAs	yago-res:Divergence (computer science) freebase:Divergence (computer science) wikidata:Divergence (computer science) dbpedia-global:Divergence (computer science)
prov:wasDerivedFrom	wikipedia-en:Divergence_(computer_science)?oldid=1286880238&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Divergence_(computer_science)
is dbo:wikiPageDisambiguates of	dbr:Divergence_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Not-terminating_computation dbr:Terminating dbr:Terminating_computation dbr:Termination_(computer_science) dbr:Convergence_(computer_science) dbr:Convergent_(computer_science) dbr:Diverging_computation dbr:Non-terminating dbr:Non-terminating_computation dbr:Non-termination dbr:Non_terminating dbr:Non_terminating_computation dbr:Non_termination dbr:Nonterminating dbr:Nontermination
is dbo:wikiPageWikiLink of	dbr:Communicating_sequential_processes dbr:Infinite_loop dbr:Operational_semantics dbr:Divergence_(disambiguation) dbr:PAT_(model_checker) dbr:Algebraic_semantics_(computer_science) dbr:PID_controller dbr:TLA+ dbr:Not-terminating_computation dbr:Terminating dbr:Terminating_computation dbr:Termination_(computer_science) dbr:Convergence_(computer_science) dbr:Convergent_(computer_science) dbr:Diverging_computation dbr:Non-terminating dbr:Non-terminating_computation dbr:Non-termination dbr:Non_terminating dbr:Non_terminating_computation dbr:Non_termination dbr:Nonterminating dbr:Nontermination
is foaf:primaryTopic of	wikipedia-en:Divergence_(computer_science)