Fred B. Schneider Books
On Concurrent Programming
Much software today is structured as concurrent programs. This graduate-level text offers a self-contained and in-depth treatment of the subject. Formal methods and assertional reasoning drive the...
Read More