Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the p-calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems.

从理解并发编程的基础是开发分布式计算系统的关键这一前提出发，本书首先介绍了并发计算的基本理论，然后介绍了有助于在高抽象级别上开发分布式计算系统的编程语言。本文介绍了并发计算的主要理论，包括p演算、参与者模型、连接演算和移动环境，重点介绍了它们如何帮助设计和推理分布式和移动计算系统。