Normal view MARC view ISBD view

Barringer, Howard.

A Survey of Verification Techniques for Parallel Programs [electronic resource] / by Howard Barringer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. - VIII, 120 p. online resource. - Lecture Notes in Computer Science, 191 0302-9743 ; . - Lecture Notes in Computer Science, 191 .

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.

ISBN: 9783540394167

Standard No.: 10.1007/3-540-15239-3 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1