Now showing items 5-5 of 5

    • Proving Properties of Parallel Programs: An Axiomatic Approach 

      Owicki, Susan S.; Gries, David (Cornell University, 1975-05)
      This paper presents an axiomatic technique for proving a number of properties of parallel programs. Hoare has given a set of axioms for partial correctness of parallel programs, but they are not strong enough in most ...