Concurrency verification
Subtitle: introduction to compositional and noncompositional methods
Edition: 1st edition
Publisher: Cambridge University Press
Published: January 15, 2001
Language: eng
Format: Hardcover
Number of pages: 798
ISBN-13: 9780521806084
Subjects: Computer Programming; Mathematical theory of computation; Programming - Software Development; Networking - General; Computer Science; Science/Mathematics; Verification; Parallel processing (Electroni; Parallel Processing; Theory Of Computing; Computers; Computers - General Information; Data Processing - Parallel Processing; Computer software; Computers / Programming / Software Development; Parallel processing (Electronic computers); Programming - Parallel Programming
First sentence: The subject of this work is how to prove correctness of concurrent programs.