A Survey of Verification Techniques for Parallel Programs [electronic resource] / by Howard Barringer.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/bridge/e_book.png)
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4642 |
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.
There are no comments on this title.