《On a Method of Multiprogramming》是1999年Springer Verlag出版的圖書，作者是Feijen, W. H. J.、 Gasteren, W. H. J. Van、 Feijen, A. J. M.、 Van Gasteran, W. H. J.、 Gasteran, A. J. M.。
基本介紹
- 外文名：On a Method of Multiprogramming
- 作者：Feijen, W. H. J.、 Gasteren, W. H. J. Van、 Feijen, A. J. M.、 Van Gasteran, W. H. J.、 Gasteran, A. J. M.
- 出版社：Springer Verlag
- ISBN：9780387988702
內容簡介
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.
