The book is currently out of stock
Parameters
- 370 pages
- 13 hours of reading
More about the book
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.
Book purchase
On a method of multiprogramming, Wim H. J. Feijen
- Language
- Released
- 1999
- Binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- On a method of multiprogramming
- Language
- English
- Authors
- Wim H. J. Feijen
- Publisher
- Springer
- Released
- 1999
- Format
- Hardcover
- Pages
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Series
- 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.