60-day returns In stock
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the ...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, ...
30-day returns In stock
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) · Book overview.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Book by W.-P. de Roever
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 ... Google Books
Originally published: November 26, 2001
Author: W.-P. de Roever
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, ...
It discusses various compositional proof methods for the verification of concurrent programs, and culminates in com- prehensive accounts of Misra & Chandy's ...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, ...
978-0-521-16932-5 - Concurrency Verification: Introduction to Compositional and. Noncompositional Methods. Willem-Paul de Roever, Frank de Boer, Ulrich ...
3.8K · 30-day returns
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54).
Concurrency Verification: Introduction to Compositional and Noncompositional Methods ; English · Cambridge, UK · Cambridge University Press · 776 · 0-521-80608-9.
Known compositional reasoning approach in the related bibliography is the assumption commitment (A − C) method that was first proposed by Misra & Chandy [25] ...