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)
J. De Koster, S. Marr, T. D'Hondt, and T. Van Cutsem. Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control, page 61--68. (Oct 27, 2013)
M. Aiken, M. Fähndrich, C. Hawblitzel, G. Hunt, and J. Larus. MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness, page 1--10. New York, NY, USA, ACM, (2006)