Principles of Concurrent and Distributed Programming Mordechai Ben-Ari
Publisher: Addison Wesley

These papers work have been mentioned a Their latest work [3] extends these concurrent revisions to distributed scenarios with disconnected operations, which operate much like distributed version control works with source code, with guarantees of eventual consistency. In the last post, we talked about concurrency and an algorithm to ensure correctness of concurrent algorithms. He has published four previous textbooks, including Understanding Programming Languages (Wiley) and the widely-used Principles of Concurrent and Distributed Programming (Prentice-Hall). Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Again, not a criticism, this is how distributed computing is. Book Description The latest edition of a classic text on concurrency and distributed programming – from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education. Concurrent Revisions is a Microsoft Research project doing interesting work in making concurrent programming scalable and easier to reason about. Flicking through them, I've found "Principles of Concurrent and Distributed Programming", by Ben-Ari (edited by no less than C.A.R. Real-Time Systems: Design Principle for Distributed Embedded Applications. Man your mentioned mozart and stackless and didn't mention for f# when f# is really nice for concurrent and distributed programming (support actors, parallel programming etc)…add it to the list :D. Principle of Concurrent and Distributed Programming. For more information, consult the book “Principles of Concurrent and Distributed Programming” by M. PODC 2012 : ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.