English Interference freedom Cited by user DavidGries on 22 Jul 2022 In computer science, interference freedom is a technique for proving correctness ofconcurrent programs with shared variables.