Book
On A Method Of Multiprogramming
The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theory can be used for the formal development of multiprograms, whether the algorithms are distributed or not. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780387988702
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of On A Method Of Multiprogramming by A.J. Van Gasteren, W.H.J. Feijen & W.H. J. Feijen
There are no reviews for this book yet.
