{"product_id":"a-survey-of-verification-techniques-for-parallel-programs-von-howard-barringer","title":"A Survey of Verification Techniques for Parallel Programs","description":"\u003cp\u003eFlow \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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540152392\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540152392","offer_id":39423309545565,"sku":"9783540152392","price":24.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/6eb5ce4a-08f5-4c3a-82a0-57a9d7d55ffb.jpg?v=1773554267","url":"https:\/\/shop.autorenwelt.de\/en\/products\/a-survey-of-verification-techniques-for-parallel-programs-von-howard-barringer","provider":"Autorenwelt Shop","version":"1.0","type":"link"}