干扰自由

什么是干扰自由在计算机科学中，干扰自由是一种用于证明具有共享变量的并发程序部分正确性的技术。Hoare逻辑早先被引入以证明顺序程序的正确性。在她的博士论...