Compositionality Concurrency and Partial Correctness Proof Theories for Networks of Processes and Their Relationship [Lecture Notes in Computer Science] (Paperback) ISBN-13: 9783540508458 ISBN-10: 3540508457 ? Concurrency Verification Introduction to Compositional and Noncompositional Methods (Hardcover) ISBN-13: 9780521806084 ISBN-10: 0521806089 Genres: Computers & Technology, Reference ? |