An Algebra of Actors Based on True Concurrency

An algebra of actors $\text{A}\pi$ fully captures the properties of actors based on asynchronous $\pi$-calculus, but, it is based on the interleaving bisimulation semantics. We adjust $\text{A}\pi$ to $\text{A}{\pi }_{tc}$ to make $\text{A}\pi$ having a truly concurrent semantics. We give the syntax and operational semantics of $\text{A}{\pi }_{tc}$, and also the truly concurrent semantics model and algebraic laws of $\text{A}{\pi }_{tc}$.