ENGLISH

On a Method of Multiprogramming

By D. Gries , A.J.M. van Gasteren , Wim Feijen

Book information

Publisher
Springer
Year
1999
ISBN
038798870X, 9780387988702
Language
english
Format
PDF
Filesize
23 MB (23672414 bytes)
Series
Monographs in Computer Science
Edition
1999
Pages
370\370
Time added
2013-12-03 04:55:13

Description

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.

Similar books