nal semantics of the Actor model）是演员的指称域理论的研究主题。这个主题的历史发展参见指称语义的历史。
演员不动点语义.计算系统语义的指称理论关心找到表示系统作为的数学对象。这个理论利用了计算数学域。这种计算域的例子是偏函数和演员事件图场景。关系 x≤y 意味着 x 可以计算演进为 y。如果指称是偏序函数，比如 f≤g 可以意味着 f 一致于 g 在 f 在其上定义的所有值上。如果指称是演员事件图场景，x≤y 意味着满足 x 的系统可以演进到满足