Actor 系统的可判定性问题
编程语言
2015-07-01 v2 计算机科学中的逻辑
摘要
我们引入了一种基于名义 Actor 的语言并研究其表达能力。我们已确定字段（fields）的存在与否是一个关键特征：名称的动态创建与字段相结合会导致图灵完备性。另一方面，限制为无状态 Actor 会产生可判定终止性等属性的系统。当 Actor 数量有界且状态为只读时，这一可判定性结果对于有状态的 Actor 仍然成立。
引用
@article{arxiv.1409.5022,
title = {Decidability Problems for Actor Systems},
author = {Frank De Boer and Mahdi Jaghoori and Cosimo Laneve and Gianluigi Zavattaro},
journal= {arXiv preprint arXiv:1409.5022},
year = {2015}
}