A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)

Book

Verification of Sequential and Concurrent Programs

Book

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Book

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Book

CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings

Book

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)

Book

Compositionality, Concurrency, and Partial Correctness Proof Theories for Networks of Processes, and Their Relationship

Book

Program Construction: International Summer School (Lecture Notes in Computer Science, 69)