@article{agha2001amr,
  title={{Actors: a model for reasoning about open distributed systems}},
  author={Agha, G.A. and Thati, P. and Ziaei, R.},
  journal={Formal methods for distributed processing: a survey of object-oriented approaches table of contents},
  pages={155--176},
  year={2001},
  publisher={Cambridge University Press New York, NY, USA}
}