O'Reilly logo

Principles of Concurrent and Distributed Programming, Second Edition by M. Ben-Ari

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 1012 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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required