# An Algebra of Actors Based on True Concurrency

## TL;DR

This paper introduces an algebra of actors with a truly concurrent semantics, extending the existing asynchronous $ extrm{A} ext{-} extrm{pi}$ calculus to better model concurrency properties.

## Contribution

It develops $ extrm{A} ext{-} extrm{pi}_{tc}$, an extension of $ extrm{A} ext{-} extrm{pi}$, incorporating truly concurrent semantics with new syntax, semantics, and algebraic laws.

## Key findings

- Defines syntax and operational semantics of $ extrm{A} ext{-} extrm{pi}_{tc}$
- Provides a truly concurrent semantics model for the algebra
- Establishes algebraic laws for the new calculus

## Abstract

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