English Interference freedom Cited by user DavidGries on 27 Jul 2022 In computer science, interference freedom is a technique for proving partial correctness ofconcurrent programs with shared variables.
English Edsger W. Dijkstra Cited by user DavidGries on 18 Jul 2022 Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, systems scientist, and science essayist.
English David Gries Cited by user Pgries on 15 Jul 2022 David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States mainly known for his books The…