文章基本信息

标题：Decidability Problems for Actor Systems
本地全文：下载
作者：Frank De Boer ; Mahdi Jaghoori ; Cosimo Laneve 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2014
卷号：10
期号：4
页码：1
DOI：10.2168/LMCS-10(4:5)2014
出版社：Technical University of Braunschweig
摘要：We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in combination with fields gives rise to Turing completeness. On the other hand, restricting to stateless actors gives rise to systems for which properties such as termination are decidable. This decidability result still holds for actors with states when the number of actors is bounded and the state is read-only.
其他关键词：Actors, RESTful services, decidability problems, 2-Counter Machines, wellstructured transition systems, embedding relation.