{"product_id":"barringer-howard-a-survey-of-verification-techniques-for-parallel-programs-9783540152392","title":"A Survey of Verification Techniques for Parallel Programs","description":"Flow \u0026amp; Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki \u0026amp; Gries: Verification of parallel programs.- Apt, Francez \u0026amp; de Roever: Verification of CSP.- Barringer \u0026amp; Mearns: Verification of Ada Tasks.- Levin \u0026amp; Gries: Verification of CSP.- Misra \u0026amp; Chandy: Proofs of process networks.- Zhou \u0026amp; Hoare: Correctness of communicating processes.- Conclusions.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53918586765654,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/barringer-howard-a-survey-of-verification-techniques-for-parallel-programs-9783540152392","provider":"momoxbooks","version":"1.0","type":"link"}