About: Interference freedom

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

Concurrent program verification method

Property	Value
dbo:description	concurrent program verification method (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Program-logics-graph.png?width=300
dbo:wikiPageExternalLink	https://ilyasergey.net/assets/other/CSL-Family-Tree.pdf
dbo:wikiPageWikiLink	dbc:Logic_in_computer_science dbr:Computer_science dbr:Cornell_University dbr:Edsger_W._Dijkstra dbr:Leslie_Lamport dbr:K._Mani_Chandy dbr:Horn_clause dbc:Program_logic dbr:David_Gries dbr:Susan_Owicki dbr:Fred_B._Schneider dbr:Peterson's_algorithm dbr:Deadlock dbr:Dafny dbr:Cliff_Jones_(computer_scientist) dbr:Hoare_logic dbr:Tony_Hoare dbr:Quantum_programming dbr:Jayadev_Misra dbr:Dekker's_algorithm dbr:Summer_School_Marktoberdorf dbr:Robert_W._Floyd dbr:Race_condition dbr:Peter_O'Hearn dbr:Separation_logic dbr:UNITY_(programming_language) dbc:Formal_methods dbr:Safety_and_liveness_properties dbr:Computer_Science dbr:Concurrent_programming dbr:Concurrent_separation_logic dbr:File:Program-logics-graph.png
dbp:wikiPageUsesTemplate	dbt:= dbt:Citation dbt:Indent dbt:Math dbt:Reflist dbt:Sfrac dbt:Short_description dbt:Spaces
dct:subject	dbc:Logic_in_computer_science dbc:Program_logic dbc:Formal_methods
rdfs:label	Interference freedom (en)
owl:sameAs	wikidata:Interference freedom dbpedia-global:Interference freedom
prov:wasDerivedFrom	wikipedia-en:Interference_freedom?oldid=1307933937&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Program-logics-graph.png
foaf:isPrimaryTopicOf	wikipedia-en:Interference_freedom
is dbo:knownFor of	dbr:David_Gries
is dbo:wikiPageWikiLink of	dbr:List_of_computer_scientists dbr:List_of_programming_language_researchers dbr:David_Gries dbr:Susan_Owicki dbr:Separation_logic dbr:List_of_programmers dbr:List_of_important_publications_in_theoretical_computer_science
is dbp:knownFor of	dbr:David_Gries
is foaf:primaryTopic of	wikipedia-en:Interference_freedom