De Boer, Frank and Jaghoori, Mahdi and Laneve, Cosimo and Zavattaro, Gianluigi - Decidability Problems for Actor Systems

lmcs:1091 - Logical Methods in Computer Science, December 4, 2014, Volume 10, Issue 4
Decidability Problems for Actor Systems

Authors: De Boer, Frank and Jaghoori, Mahdi and Laneve, Cosimo and Zavattaro, Gianluigi

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.


Source : oai:arXiv.org:1409.5022
DOI : 10.2168/LMCS-10(4:5)2014
Volume: Volume 10, Issue 4
Published on: December 4, 2014
Submitted on: June 25, 2015
Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science


Share

Browsing statistics

This page has been seen 28 times.
This article's PDF has been downloaded 11 times.