On A Method Of Multiprogramming

The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theory ... » 

The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theory can be used for the formal development of multiprograms, whether the algorithms are distributed or not. «