List of books

textbook on Distributed Algorithms
by Wan Fokkink, Dec. 17, 2013

Distributed Algorithms: An Intuitive Approach
by Wan Fokkink
MIT Press, January 2014

Concepts, Techniques, and Models of Computer Programming
by Peter Van Roy, Feb. 15, 2004

This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms in a unified framework. It features a broad treatment of concurrent programming, a software platform, Mozart, that can run all the examples, and a simple but complete formal semantics.