Gries Owicki Theory and Concurrent Computing

Susan Owicki came up with the idea of interference freeness while working on solving the problem of proving the partial correctness of concurrent programs. With the supervision of David Gries (Susan's PhD project thesis supervisor), the two established the method for proving the partial correctness of concurrent programs.

For a semester's project in senior year, my group and I discusses the Gries Owicki Theory available here https://www.researchgate.net/publication/332686719_Gries_Owicki_Theory_and_Concurrent_Computing