Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards

Yong Wang

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 proce…