2000 character limit reached
A Calculus of Truly Concurrent Mobile Processes (1704.07774v1)
Published 31 Mar 2017 in cs.LO
Abstract: We make a mixture of Milner's $\pi$-calculus and our previous work on truly concurrent process algebra, which is called $\pi_{tc}$. We introduce syntax and semantics of $\pi_{tc}$, its properties based on strongly truly concurrent bisimilarities. Also, we include an axiomatization of $\pi_{tc}$. $\pi_{tc}$ can be used as a formal tool in verifying mobile systems in a truly concurrent flavor.