Automated Verification of Concurrent Search Structures (Synthesis Lectures on Co

Concurrent Engineering : The Product Development Environment for the 1990s by...

Verification of Sequential and Concurrent Programs K. R., Olderog

Krishna - Automated Verification of Concurrent Search Structures - New - X555z

Concurrent C Paperback William D., Gehani, Narain Roome

Solving Problems on Concurrent Processors Vol. 1 Geoffrey Fox Caltech Algorithms

Concurrent Programming: The Java Programming Language