A Survey of Verification Techniques for Parallel Programs

Add to Wishlist

A Survey of Verification Techniques for Parallel Programs

Paperback(1985)

$39.99

Paperback(1985)
$39.99

SHIP THIS ITEM

In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

Want it Today?
Check Store Availability

Product Details

ISBN-13:	9783540152392
Publisher:	Springer Berlin Heidelberg
Publication date:	06/14/1985
Series:	Lecture Notes in Computer Science , #191
Edition description:	1985
Pages:	120
Product dimensions:	6.10(w) x 9.25(h) x 0.01(d)

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.

From the B&N Reads Blog

Page 1 of

Related collections and offers

Product Details

Table of Contents

Related Subjects

Customer Reviews