Appendix E. Further Reading
Undergraduate textbooks on concurrency are [2, 31, 49]. [2] is strong on systems and languages, but has much less material on verification. [31] shows how to implement concurrent algorithms in Java, while [49] combines CSP-based theory with Java programming. Advanced textbooks on concurrency are [3, 23, 50, 51, 57]; they emphasize the formal verification of programs.
The discussion of distributed algorithms in Chapters 10–12 just begins to scratch the surface of this fascinating topic. Extensive presentations can be found in [4, 48].
A summary of Leslie Lamport’s work on mutual exclusion and an extensive list of references is given in [1].
My textbook on mathematical logic [9] provides the background needed to study advanced ...
Get Principles of Concurrent and Distributed Programming, Second Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
