S. Lauterburg, M. Dotta, D. Marinov, and G. Agha. 2009 IEEE/ACM International Conference on Automated Software Engineering, page 468--479. (November 2009)
S. Imam, and V. Sarkar. Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control, page 67--80. ACM, (2014)
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)