Programming Distributed Computing Systems

Discover a comprehensive guide to understanding the foundations of concurrent programming and developing distributed computing systems with this book. Covering major theories like the p-calculus, actor model, join calculus, and mobile ambients, you'll learn how to design and reason about distributed and mobile computing systems. Unique in its approach, this book bridges the gap between theory and practice, making it perfect for graduate and advanced undergraduate students in computer science or researchers in the area of programming technology for distributed computing.