Decidability Problems for Actor Systems

Frank S. Boer Mohammad Mahdi Jaghoori Cosimo Laneve 1, 2 Gianluigi Zavattaro 1, 2
2 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 relevant 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. Such decidability result holds in actors with states when the number of actors is finite and the state is read-only.
Type de document :
Communication dans un congrès
23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Unknown, Springer, 7454, pp.562--577, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-00909366
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:07:28
Dernière modification le : jeudi 11 janvier 2018 - 16:22:48

Identifiants

  • HAL Id : hal-00909366, version 1

Collections

Citation

Frank S. Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro. Decidability Problems for Actor Systems. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Unknown, Springer, 7454, pp.562--577, 2012, Lecture Notes in Computer Science. 〈hal-00909366〉

Partager

Métriques

Consultations de la notice

135