B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
S. Imam, and V. Sarkar. Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control, page 67--80. ACM, (2014)
S. Lauterburg, M. Dotta, D. Marinov, and G. Agha. 2009 IEEE/ACM International Conference on Automated Software Engineering, page 468--479. (November 2009)