TY  - BOOK
AU  - Barringer,Howard
ED  - SpringerLink (Online service)
TI  - A Survey of Verification Techniques for Parallel Programs
T2  - Lecture Notes in Computer Science,
SN  - 9783540394167
AV  - QA76.758 
U1  - 005.1 23
PY  - 1985///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-15239-3
ER  -