1. Aceto, L., Cimini, M., Ingólfsdóttir, A., Reynisson, A.H., Sigurdarson, S.H., Sirjani, M.: Modelling and simulation of asynchronous real-time systems using timed rebeca. In: Mousavi, M.R., Ravara, A. (eds), Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011, volume 58 of EPTCS, pp. 1–19 (2011)
2. Agha, G., Hewitt, C.: Concurrent programming using actors: exploiting large-scale parallelism. In: Maheshwari, S.N. (ed) Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, volume 206 of Lecture Notes in Computer Science, pp. 19–41. Springer (1985)
3. Aoxueluo, W., Weigang, C., Jiannong, R.M.: A generalized mutual exclusion problem and its algorithm. In: ICPP, pp. 300–309. IEEE Computer Society (2013)
4. de Boer, F.S., Serbanescu, V., Hähnle, R., Henrio, L., Rochas, J., Din, C.C., Johnsen, E.B., Sirjani, M., Khamespanah, E., Fernandez-Reyes, K., Yang, A.M.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1–76:39 (2017)
5. Ferreira, B.B., Fernando A.F., Loureiro, Antonio A.F., Campos, Sérgio V.A.: A probabilistic model checking analysis of vehicular ad-hoc networks. In: IEEE 81st Vehicular Technology Conference, VTC Spring 2015, Glasgow, United Kingdom, 11–14 May, 2015, pp. 1–7. IEEE (2015)