Here, 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.
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!