1. Aceto, L., Attard, D., Francalanza, A., Ingólfsdóttir, A.: On benchmarking for concurrent runtime verification. In: Conference on FASE. Springer (2021)
2. Aceto, L., Achilleos, A., Francalanza, A., et al.: An operational guide to monitorability with applications to regular properties. J. SoSyM 20(1), 335–361 (2021)
3. Agha, G.: ACTORS—a model of concurrent computation in distributed systems. MIT Press Series in Artificial Intelligence (1990)
4. Akka. https://akka.io. Accessed: 2021-04-06
5. Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall Press (1993)