![A Survey of Verification Techniques for Parallel Programs [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
A Survey of Verification Techniques for Parallel Programs [electronic resource] /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1985
|
| Subjects: | Computer science., Software engineering., Programming languages (Electronic computers)., Computer Science., Software Engineering., Programming Languages, Compilers, Interpreters., |
| Online Access: | http://dx.doi.org/10.1007/3-540-15239-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|