本书涵盖了并发的不同领域，它使程序、算法或问题能够分解为与顺序无关或部分有序的组件，以提高计算和执行速度。执行并发有两种主要方法：交错并发和真并发。交错并发的主要代表是互模拟/根分支互模拟等价，这项工作最终建立了全面的公理化模互模拟等价的代数系统——ACP(通信进程代数)。另一种并发方法是真并发。当前，学界对真病发的研究是活跃的。真并发的语义模型存在若干种真并发互模拟等价，包括：偏序集互模拟等价、步进互模拟等价、历史保存(hp-)互模拟等价和遗传历史保持(hhp-)互模拟等价，真并发进程代数是建立在这些语义模型之上的代数系统。