Description: This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
Price: 137 AUD
Location: Hillsdale, NSW
End Time: 2024-11-10T06:21:52.000Z
Shipping Cost: 26.33 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
Return policy details:
EAN: 9780521169325
UPC: 9780521169325
ISBN: 9780521169325
MPN: N/A
Book Title: Concurrency Verification: Introduction to Composit
Item Length: 22.9 cm
Number of Pages: 800 Pages
Language: English
Publication Name: Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Publisher: Cambridge University Press
Publication Year: 2012
Subject: Computer Science
Item Height: 229 mm
Item Weight: 1050 g
Type: Textbook
Author: Willem-Paul de Roever, Mannes Poel, Jozef Hooman, Frank de Boer, Ulrich Hanneman, Yassine Lakhnech, Job Zwiers
Item Width: 152 mm
Format: Paperback
