Skip to Main content Skip to Navigation
New interface
Journal articles

Decidability Problems for Actor Systems

F. de Boer 1 Mohammad Mahdi Jaghoori 1 Cosimo Laneve 2, 3 Gianluigi Zavattaro 2, 3 
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Zavattaro Gianluigi Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2014 - 1:59:44 PM
Last modification on : Wednesday, January 26, 2022 - 3:08:03 AM
Long-term archiving on: : Monday, March 9, 2015 - 5:58:27 AM


Files produced by the author(s)




F. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro. Decidability Problems for Actor Systems. Logical Methods in Computer Science, 2014, 104, pp.1 - 29. ⟨10.2168/LMCS-10(4:5)2014⟩. ⟨hal-01090952⟩



Record views


Files downloads