An Algebra of Actors Based on True Concurrency

Abstract

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}$.

10 pages, 1 figure. arXiv admin note: text overlap with arXiv:1704.07774

References in corpus (4)

• Algebraic Laws for True Concurrency
• A Calculus for True Concurrency
• A Calculus of Truly Concurrent Mobile Processes
• Weakly True Concurrency and Its Logic