On a Method of Multiprogramming
Author: W.H.J. Feijen
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 370
ISBN-13: 1475731264
DOWNLOAD EBOOKHere, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.