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 probabilism into truly concurrent process algebras, based on the work on probabilistic process algebra.
翻译:众所周知的进程代数,如CCS、ACP和$pion-calulus等,捕捉了基于两个不同语义的相互交错的共通货币。我们做了一些关于真正同时的进程代数的工作,如CTC、APTC和$\pi ⁇ t}$$,捕捉了基于真正同时的两样的真正的共通货币,如孔塞两样、步骤两样、历史-保存(hp-)两样和遗传历史-历史-保存(hhp-)两样。真正同时的相联的代数是相应的传统进程代数的一般化。在本书中,我们根据关于概率进程代数的工作,将概率引入真正同时的进程代数。