Truly Concurrent Calculi with Reversibility, Probabilism and Guards

08/15/2021

∙

by   Yong Wang, et al.

∙

0

∙

share

The well-known process algebras, such as CCS, ACP and π-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and π_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 reversibility, probabilism, and guards into truly concurrent calculus CTC.