N. Cohen, A. Tal, и E. Petrank. Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, стр. 17--29. ACM, (2017)
S. Lu, J. Tucek, F. Qin, и Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, стр. 37--48. ACM, (2006)
T. Elmas, S. Qadeer, и S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 245--255. ACM, (2007)
S. Tasharofi, M. Pradel, Y. Lin, и R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, стр. 114-124. (ноября 2013)
I. Cassar, и A. Francalanza. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, стр. 54--68. (сентября 2014)
S. Tasharofi, R. Karmani, S. Lauterburg, A. Legay, D. Marinov, и G. Agha. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, стр. 219--234. Springer, (2012)
D. Deng, W. Zhang, и S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, стр. 785--802. ACM, (2013)
N. Jalbert, и K. Sen. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 57--66. New York, NY, USA, ACM, (2010)
J. De Koster, T. Van Cutsem, и W. De Meuter. Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, стр. 31--40. ACM, (2016)