Placeholder text

Go to cart

A Survey of Verification Techniques for Parallel Programs

By Howard Barringer

A Survey of Verification Techniques for Parallel Programs

By Howard Barringer

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
128
Release Date:
2008-06-13
Publication Date:
1985-05-01
Publisher:
Springer
Languages:
Original: English
ISBN10:
3540152393
ISBN13:
9783540152392
GPSR Manufacturer Reference:
[email protected]
Weight:
207 g
Height:
155 cm
Width:
235 cm
Thickness:
8 cm
Buy on Amazon
Currently sold out