Title: A Calculus of Truly Concurrent Mobile Processes,
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.