Items related to Compositionality, Concurrency, and Partial Correctness:...
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science) - Softcover
Synopsis
Compositionality, Concurrency, and Partial Correctness The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those of compositionality and modularity, are made pr... Full description
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
