A Survey of Verification Techniques for Parallel Programs

Howard Barringer

ISBN 10: 3540152393 / ISBN 13: 9783540152392

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1985, 1985

About this Item

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Seller Inventory # 9783540152392

Bibliographic Details

• Title: A Survey of Verification Techniques for Parallel Programs
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1985
• Publication Date: 1985
• Language: English
• ISBN 10: 3540152393
• ISBN 13: 9783540152392
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

Hard to Find book