A survey of verification techniques for parallel programs
著者
書誌事項
A survey of verification techniques for parallel programs
(Lecture notes in computer science, 191)
Springer-Verlag, c1985
- : gw
- : us
大学図書館所蔵 件 / 全48件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
目次
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.
「Nielsen BookData」 より