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和$pion-calulus等,捕捉了基于两个不同语义的相互交错的共通货币。我们做了一些关于真正同时的进程代数的工作,如CTC、APTC和$\pi ⁇ t}$$,捕捉了基于真正同时的两样物的真正共通货币,如孔塞两样物、步骤两样物、历史保存(hp-)两样物和遗传历史保存(hp-hp-)两样物。真正同时的代数是相应的传统进程代数的概括化。在本书中,我们根据与地点的代数进程工作,将地方引入了真正同时的进程代数。