A survey of verification techniques for parallel programs / Howard Barringer.
Material type:
TextSeries: Lecture notes in computer science ; 191.Publication details: Berlin ; New York : Springer-Verlag, ©1985.Description: 1 online resource (vi, 114 pages)Content type: - text
- computer
- online resource
- 9783540394167
- 3540394168
- Parallel processing (Electronic computers)
- Parallel programs (Computer programs) -- Verification
- Parallélisme (Informatique)
- Logiciels -- Vérification
- Programmes parallèles (Logiciels) -- Vérification
- Parallel processing (Electronic computers)
- Parallel programs (Computer programs) -- Verification
- Parallelverarbeitung
- Programmierung
- Verifikation
- Programmverifikation
- 001.64 19
- QA76.5 .B29627 1985
- 54.52
- digitized 2010 HathiTrust Digital Library committed to preserve
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
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. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record.
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.