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.

20 pages. arXiv admin note: text overlap with arXiv:1703.00159, arXiv:1611.09035

References in corpus (3)

• Algebraic Laws for True Concurrency
• A Calculus for True Concurrency
• Weakly True Concurrency and Its Logic

Cited by in corpus (7)

• Actors -- A Process Algebra Based Approach
• Truly Concurrent Process Algebra with Localities
• Verification of Distributed Quantum Protocols
• Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing
• Verification of Patterns
• Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards
• An Algebra of Actors Based on True Concurrency