A Survey of Verification Techniques for Parallel Programs by Howard Barringer
Unfortunately we do not have a summary for this item at the moment
A Survey of Verification Techniques for Parallel Programs
A Survey of Verification Techniques for Parallel Programs
A Survey of Verification Techniques for Parallel Programs Summary
Table of Contents
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
Additional information
NLS9783540152392
9783540152392
3540152393
A Survey of Verification Techniques for Parallel Programs by Howard Barringer
New
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1985-05-01
120
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time