The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$, capture the true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. Truly concurrent process algebras are generalizations of the corresponding traditional process algebras. In this book, we introduce localities into truly concurrent process algebras, based on the work on process algebra with localities.

中文翻译：

---

具有局部性的真正并发过程代数

众所周知的进程代数，如 CCS、ACP 和 $\pi$-calculus，基于双相似语义捕获交错并发。我们在真正并发的进程代数上做了一些工作，例如 CTC、APTC 和 $\pi_{tc}$，基于真正并发的双相似性来捕获真正的并发性，例如 pomset 双相似性、步骤双相似性、历史保留 (hp-) 相似性和遗传历史保存 (hhp-) 双相似性。真正并发的过程代数是相应的传统过程代数的推广。在本书中，我们将基于具有局部性的过程代数工作，将局部性引入到真正的并发过程代数中。