Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer

Inbunden, Engelska, 2001

Del 54 i serien Cambridge Tracts in Theoretical Computer Science

3 014 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 101 kr

Beskrivning

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.

Produktinformation

Utforska kategorier

Recensioner i media

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Häftad
Del 47

Data Refinement

Willem-Paul de Roever, Kai Engelhardt

Häftad, 2008

797 kr

Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Inbunden
Del 47

Data Refinement

Willem-Paul de Roever, Kai Engelhardt

Inbunden, 1998

1 822 kr

Hoppa över listan

Mer från samma serie

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

658 kr

Hoppa över listan

Du kanske också är intresserad av

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Häftad, 2012

1 101 kr