Title A survey of verification techniques for parallel programs / Howard Barringer

Published Berlin ; New York : Springer-Verlag, ©1985

Click on the following:
Springer eBooks

Copies

Description 1 online resource (vi, 114 pages) Series Lecture notes in computer science ; 191 Lecture notes in computer science ; 191. Contents 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 Bibliography Includes bibliographical references Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Parallel processing (Electronic computers) Parallel programs (Computer programs) -- Verification. Parallel processing (Electronic computers) Parallel programs (Computer programs) -- Verification Parallelverarbeitung Programmierung Verifikation Programmverifikation Form Electronic book LC no. 85009945 ISBN 9783540394167 3540394168

  Permalink