基于真并发的演员代数

演员代数 $\textrm{A}\pi$ 完全捕获了基于异步 $\pi$-演算的演员的属性，但它基于交错互模拟语义。我们将 $\textrm{A}\pi$ 调整为 $\textrm{A}\pi_{tc}$，以使 $\textrm{A}\pi$ 具有真正的并发语义。我们给出了 $\textrm{A}\pi_{tc}$ 的语法与操作语义，以及其真并发语义模型和代数律。