Decidability Problems for Actor Systems

  • Frank S. de Boer
  • Mahdi M. Jaghoori
  • Cosimo Laneve
  • Gianluigi Zavattaro
Conference paper

DOI: 10.1007/978-3-642-32940-1_39

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7454)
Cite this paper as:
de Boer F.S., Jaghoori M.M., Laneve C., Zavattaro G. (2012) Decidability Problems for Actor Systems. In: Koutny M., Ulidowski I. (eds) CONCUR 2012 – Concurrency Theory. CONCUR 2012. Lecture Notes in Computer Science, vol 7454. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Frank S. de Boer
    • 1
  • Mahdi M. Jaghoori
    • 1
  • Cosimo Laneve
    • 2
  • Gianluigi Zavattaro
    • 2
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.University of Bologna, INRIA Focus Research TeamBolognaItaly

Personalised recommendations